Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings (Lecture Notes in Computer Science)

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings (Lecture Notes in Computer Science)

$2,079.00

Download Catalog

ISBN 9783540644064 Categories APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS ENGINEERING, MACHINE LEARNING, ROBOTICS

Additional information

Weight	16.23 kg
ISBN	3540644067
ISBN13	9783540644064
Author	Swart, Harrie de
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1998
Edition	1
Pages	325

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros