“The Complete 8-Book Ramona Collection: Beezus and Ramona, Ramona and Her Father, Ramona and Her Mother, Ramona Quimby, Age 8, Ramona Forever, Ramona the Brave, Ramona the Pest, Ramona’s World” se ha añadido a tu carrito. Ver carrito

Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)

$2,499.00

Download Catalog

ISBN 9783540631040 Categorías APPLICATIONS OF COMPUTING, ARTIFICIAL INTELLIGENCE, AUTOMATIC CONTROL ENGINEERING, CHILDREN'S AND EDUCATIONAL, COMPUTING AND INFORMATION TECHNOLOGY, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS & COMMUNICATIONS ENGINEERING, ELECTRONICS ENGINEERING, MACHINE LEARNING, MATHEMATICAL FOUNDATIONS, MATHEMATICAL LOGIC, MATHEMATICS, MATHEMATICS, REFERENCE, ROBOTICS

Información adicional

Peso	52.56 kg
ISBN	3540631046
ISBN13	9783540631040
Author	McCune, William
Publisher	Springer
Binding	Paperback
Lenguage	English
Publish Year	1997
Edition	1997
Pages	462

Todos los libros

Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)

Productos relacionados

Phonics Flashcards: 52 Cards (Collins Easy Learning Preschool)

The Art of the Automobile: The 100 Greatest Cars

Gangsta Granny. David Walliams (121 POCHE)

Common Core Achieve, Social Studies Subject Module (BASICS & ACHIEVE)

Adventures in Brambly Hedge: Celebrating forty years of Brambly Hedge with this beautiful storybook gift set

Ryan Korban: Luxury Redefined