Higher Order Logic Theorem Proving and its Applications: Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving ... Belgium, 21-24 September 1992 (ISSN)
from $164.35
Teaching the Quadrivium: A Guide for Instructors
from $37.32
Introduction to Modern Cryptography: Third Edition (Chapman & Hall/CRC Cryptography and Network Security Series)
$92.93
from $64.80
A Brief Quadrivium
from $73.58
Quantum Mechanics (The Theoretical Minimum)
from $5.76
KI 2023: Advances in Artificial Intelligence: 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings (Lecture Notes in Computer Science Book 14236)
from $58.06
Modelling Puzzles in First Order Logic
from $52.24
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings (Lecture Notes in Computer Science Book 14101)
from $65.91
A Fascinating Country in the World of Computing
from $20.91
Mathematical Knowledge Management: Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings (Lecture Notes in Computer Science, 3119)
$54.99
from $52.15
More results from Amazon »