𝔖 Bobbio Scriptorium

✦ LIBER ✦

Problem solving as a basis for program synthesis: design and experimentation of the BIS system

✍ Scribed by Francesco Caio; Giovanni Guida; Marco Somalvico

Book ID: 108332376
Publisher: Elsevier Science
Year: 1982
Weight: 918 KB
Volume: 17
Category: Article
ISSN: 0020-7373
DOI: 10.1016/s0020-7373(82)80018-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Principles of program synthesis for real

Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment

✍ A. A. Ros' 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 702 KB

Design, Synthesis, and Screening of a Li

Design, Synthesis, and Screening of a Library of Peptidyl Bis(Boroxoles) as Oligosaccharide Receptors in Water: Identification of a Receptor for the Tumor Marker TF-Antigen Disaccharide

✍ Arnab Pal; Marie Bérubé; Dennis G. Hall 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB 👁 2 views

Design, Synthesis, and Screening of a Li

Design, Synthesis, and Screening of a Library of Peptidyl Bis(Boroxoles) as Oligosaccharide Receptors in Water: Identification of a Receptor for the Tumor Marker TF-Antigen Disaccharide

✍ Arnab Pal; Marie Bérubé; Dennis G. Hall 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB 👁 2 views

An expert system for choosing the best c

An expert system for choosing the best combination of options in a general purpose program for automated design synthesis: Rogers, J L and Barthelemy, J-F MEng. Comput. Vol 1 No 4 (1986) pp 217–227

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 126 KB

Communications - complex problem solving

Communications - complex problem solving: Design and development of a signage system for the Columbus International Airport in Columbus, Ohio : Cook, T.R., and Smith, D.B. Proceedings of the Symposium on Human Factors and Industrial Design in Consumer Products, Tufts University, Medford, Massachusetts, 28–30 May 1980. Edited by H.R. Poydar, 1980, pp 329–341

📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Synthesis of the Dimethyl Ester of 2'-Cy

Synthesis of the Dimethyl Ester of 2'-Cyano-8'-formyl-N'-methyl-1',1a',5a',6'-tetrahydroacrido[4,5,5a,6-bcd]-Annulated 2,3-Dihydromesoporphyrin – A Novel System with Outstanding Properties as Basis for Photodynamic Therapy in the Far-Red Region of the Visible Spectrum

✍ Richard N S. van der Haas; Siu-Ha Tang; Beatriz Arenas Hernández; Robertus L. P. 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB 👁 2 views