Books in Logics and meanings of programs
Books in Logics and meanings of programs
- 1st Edition
- January 1, 1972
- K. N. Dodd
- English
- eBook9 7 8 1 4 8 3 1 0 1 1 1 8

Logical Design for Computers and Control
- 1st Edition
- July 1, 1987
- Michael R. Genesereth + 1 more
- English
- eBook9 7 8 0 1 2 8 0 1 5 5 4 4

Logical Foundations of Artificial Intelligence
- 1st Edition
- Volume 1
- June 22, 2001
- Alan J.A. Robinson + 1 more
- English
- eBook9 7 8 0 0 8 0 5 3 2 7 9 0

Handbook of Automated Reasoning
- 1st Edition
- Volume II
- June 21, 2001
- Alan J.A. Robinson + 1 more
- English
- Hardback9 7 8 0 4 4 4 5 0 8 1 2 6

Handbook of Automated Reasoning
- 1st Edition
- Volume 20
- February 3, 1993
- L.J.M. Claesen + 1 more
- English
- eBook9 7 8 1 4 8 3 2 9 8 4 0 5

Higher Order Logic Theorem Proving and its Applications
- 1st Edition
- Volume 130
- February 12, 1991
- J. van Benthem
- English
- eBook9 7 8 0 0 8 0 9 3 4 2 2 8
