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
-
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 -
Geostatistical Analysis of Compositional Data (Studies in Mathematical Geology, 7)
$3,465.00 Añadir al carritoValorado con 0 de 5