Peso | 40.92 kg |
---|---|
ISBN | |
ISBN13 | |
Author | |
Publisher | |
Binding | |
Lenguage | |
Publish Year | |
Edition | |
Pages |
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
$2,289.00
ISBN
9783540664635
Categorías APPLICATIONS OF COMPUTING, APPLIED MATHEMATICS, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTING AND INFORMATION TECHNOLOGY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, MEDICAL SCIENCE, MEDICINE: GENERAL ISSUES
Productos relacionados
-
Spectral Analysis and Time Series, Two-Volume Set: Volumes I and II (Volume 1-2)
$2,814.00 Añadir al carritoValorado con 0 de 5 -
Loose Leaf Version for Beginning & Intermediate Algebra
$4,481.40 Añadir al carritoValorado con 0 de 5 -
Partial Differential Equations and Boundary Value Problems with Maple
$1,531.95 Añadir al carritoValorado con 0 de 5 -
Everyday Mathematics 4, Grade 3, Student Math Journal 1
$352.80 Añadir al carritoValorado con 0 de 5