Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings (Lecture Notes in Computer Science, 1955)

$2,709.00

Download Catalog

ISBN 9783540412854 Categories APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING, COMPUTER PROGRAMMING: ALGORITHMS & PROCEDURES, COMPUTING AND INFORMATION TECHNOLOGY, LANGUAGE TEACHING & LEARNING (OTHER THAN ELT), LANGUAGE, LITERATURE AND BIOGRAPHY, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS

Additional information

Weight	55.03 kg
ISBN	3540412859
ISBN13	9783540412854
Author	Parigot, Michel
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	2000
Edition	2000
Pages	504

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros