Peso | 52.56 kg |
---|---|
ISBN | |
ISBN13 | |
Author | |
Publisher | |
Binding | |
Lenguage | |
Publish Year | |
Edition | |
Pages |
Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)
$2,499.00
ISBN
9783540631040
Categorías APPLICATIONS OF COMPUTING, ARTIFICIAL INTELLIGENCE, AUTOMATIC CONTROL ENGINEERING, CHILDREN'S AND EDUCATIONAL, COMPUTING AND INFORMATION TECHNOLOGY, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS ENGINEERING, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, REFERENCE, ROBOTICS
Productos relacionados
-
Common Core Achieve, Mathematics Subject Module (BASICS & ACHIEVE)
$445.83 Añadir al carritoValorado con 0 de 5