Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science, 1847)

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science, 1847)

$2,709.00

Download Catalog

ISBN 9783540676973 Categorías APPLICATIONS OF COMPUTING, ARTIFICIAL INTELLIGENCE, COMPUTING AND INFORMATION TECHNOLOGY, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS ENGINEERING, LANGUAGE TEACHING & LEARNING (OTHER THAN ELT), LANGUAGE, LITERATURE AND BIOGRAPHY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, ROBOTICS

Información adicional

Peso	49.38 kg
ISBN	354067697X
ISBN13	9783540676973
Author	Dyckhoff, Roy
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	2000
Edition	2000
Pages	450

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros