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)

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

Download Catalog

ISBN 9783540631040 Categories 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

Additional information

Weight	52.56 kg
ISBN	3540631046
ISBN13	9783540631040
Author	McCune, William
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1997
Edition	1997
Pages	462

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros