Books in Logics and meanings of programs
Books in Logics and meanings of programs
- 1st Edition
- Volume 20
- May 23, 2014
- L.J.M. Claesen + 1 more
- English
- Paperback9 7 8 0 4 4 4 8 9 8 8 0 7
- eBook9 7 8 1 4 8 3 2 9 8 4 0 5
Higher Order Logic Theorem Proving and its Applications
- 1st Edition
- July 5, 2012
- Michael R. Genesereth + 1 more
- English
- Paperback9 7 8 1 4 9 3 3 0 5 9 8 8
- eBook9 7 8 0 1 2 8 0 1 5 5 4 4
Logical Foundations of Artificial Intelligence
- 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
- eBook9 7 8 0 0 8 0 9 2 9 6 9 9
Handbook of Automated Reasoning
- 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 130
- February 12, 1991
- J. van Benthem
- English
- Paperback9 7 8 0 4 4 4 5 4 8 8 0 1
- Hardback9 7 8 0 4 4 4 8 9 0 0 0 9
- eBook9 7 8 0 0 8 0 9 3 4 2 2 8
Language in Action