Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632)

Automated Deduction – CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632)

$2,499.00

Download Catalog

ISBN 9783540662228 Categories APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, OPERATING SYSTEMS

Additional information

Weight	49.03 kg
ISBN	3540662227
ISBN13	9783540662228
Author	Ganzinger, Harald
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1999
Edition	1999
Pages	452

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros