๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An introduction to logic through the 74 series

โœ Scribed by Bevis, Graham


Book ID
118681315
Publisher
The Institution of Electrical Engineers
Year
1982
Weight
185 KB
Volume
1982
Category
Article
ISSN
0265-0096

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An Introduction to Logic Programming thr
โœ J. M. Spivey, Michael Spivey ๐Ÿ“‚ Library ๐Ÿ“… 1996 ๐Ÿ› Prentice Hall ๐ŸŒ English โš– 472 KB

Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

An introduction to logic
โœ Alex Blum ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Springer ๐ŸŒ English โš– 220 KB