✦ LIBER ✦

An approach to automatic deductive synthesis of functional programs

✍ Scribed by Yulia Korukhova

Publisher: Springer Netherlands
Year: 2007
Tongue: English
Weight: 339 KB
Volume: 50
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-007-9079-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to partitioning programs on

An approach to partitioning programs on the functional basis and applications

✍ In Sang Chung; Yong Rae Kwon 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 823 KB

An algebraic approach to the formalizati

An algebraic approach to the formalization of some deduction techniques

✍ V. V. Atayan 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 437 KB

An approach to the automatic recognition

An approach to the automatic recognition of speech

✍ B.E. Pay; C.R. Evans 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 904 KB

This paper describes some techniques employed at the National Physical Laboratory in developing a practical system capable of recognizing human speech. The system, which is currently being evaluated in an extended series of trials, is capable of performing two main tasks: (1) recognizing key words e

An approach to the numerical solutions o

An approach to the numerical solutions of geometric programs

✍ John J. Dinkel; Gary A. Kochenberger; Bruce McCarl 📂 Article 📅 1974 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

An approach to the merging of functional

An approach to the merging of functional elements

✍ I. I. Brona; I. P. Samoilova 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 555 KB

Multicriteria fractional programming — a

Multicriteria fractional programming — an approach by means of conjugate functions

✍ E. Ohlendorf; Ch. Tammer 📂 Article 📅 1994 🏛 Springer 🌐 German ⚖ 437 KB