Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings (Lecture Notes in Computer Science)

Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96, Turku, Finland, August 26 – 30, 1996, Proceedings (Lecture Notes in Computer Science)

$2,079.00

Download Catalog

ISBN 9783540615873 Categories APPLICATIONS OF COMPUTING, ARCHITECTURE, ARCHITECTURE, ARTIFICIAL INTELLIGENCE, COMPUTER PROGRAMMING / SOFTWARE DEVELOPMENT, COMPUTING AND INFORMATION TECHNOLOGY, Functional programming, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS

Additional information

Weight	12.35 kg
ISBN	3540615873
ISBN13	9783540615873
Author	Wright, Joakim von
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1996
Edition	annotated edition
Pages	447

© 2021 Todos los derechos reservados elaborado por etics 🤖

Todos los libros