Peso | 12.35 kg |
---|---|
ISBN | |
ISBN13 | |
Author | |
Publisher | |
Binding | |
Lenguage | |
Publish Year | |
Edition | |
Pages |
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96, Turku, Finland, August 26 – 30, 1996, Proceedings (Lecture Notes in Computer Science)
$2,079.00
ISBN
9783540615873
Categorías APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING / SOFTWARE DEVELOPMENT, COMPUTING AND INFORMATION TECHNOLOGY, Functional programming, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS
Productos relacionados
-
Green IT: Reduce Your Information System’s Environmental Impact While Adding to the Bottom Line
$672.00 Añadir al carritoValorado con 0 de 5 -
Guided Lecture Notes for College Algebra with Integrated Review
$839.79 Añadir al carritoValorado con 0 de 5