Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science, 1831)

Automated Deduction – CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science, 1831)

$2,919.00

Download Catalog

ISBN 9783540676645 Categories APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, BUSINESS & MANAGEMENT, BUSINESS & MANAGEMENT, BUSINESS INFORMATION SYSTEMS, BUSINESS MATHEMATICS & SYSTEMS, COMPUTER PROGRAMMING, COMPUTING AND INFORMATION TECHNOLOGY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS

Additional information

Weight	28.89 kg
ISBN	3540676643
ISBN13	9783540676645
Author	McAllester, David
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	2000
Edition	2000
Pages	512

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros