Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Lecture Notes in Computer Science, 1617)

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Lecture Notes in Computer Science, 1617)

$2,079.00

Download Catalog

ISBN 9783540660866 Categories APPLICATIONS OF COMPUTING, ARTIFICIAL INTELLIGENCE, ARTS, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS ENGINEERING, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, PHOTOGRAPHY & PHOTOGRAPHS, ROBOTICS

Additional information

Weight	37.74 kg
ISBN	3540660860
ISBN13	9783540660866
Author	Murray, Neil V.
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1999
Edition	1999
Pages	323

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros