✦ LIBER ✦

A computer language for teaching introductory logic

✍ Scribed by R. M. Cater; H. W. Johnstone

Publisher: Springer
Year: 1975
Tongue: English
Weight: 283 KB
Volume: 6
Category: Article
ISSN: 0013-1954
DOI: 10.1007/bf00590026

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CAL—A computer analysis language for tea

CAL—A computer analysis language for teaching structural analysis

✍ Edward L. Wilson 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 658 KB

Teaching computer science through a logi

Teaching computer science through a logic programming approach

✍ Rosa Maria Bottino; Paola Forcheri; Maria Teresa Molfino 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 777 KB

Expert tutoring system for teaching comp

Expert tutoring system for teaching computer programming languages

✍ M.M El-Khouly; B.H Far; Z Koono 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 344 KB

DALS—computer language for teaching sing

DALS—computer language for teaching single-degree-of-freedom dynamic analysis

✍ Izhak Sheinman 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 686 KB

LUPS—A language for updating logic progr

LUPS—A language for updating logic programs

✍ José Júlio Alferes; Luı́s Moniz Pereira; Halina Przymusinska; Teodor C. Przymusi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 229 KB

Most of the work conducted so far in the field of logic programming has focused on representing static knowledge, i.e., knowledge that does not evolve with time. To overcome this limitation, in a recent paper, the authors introduced dynamic logic programming. There, they studied and defined the decl

A Logical Model for Agent Communication

A Logical Model for Agent Communication Languages

✍ Mario Verdicchio; Marco Colombetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 166 KB