Catalogo · 9783540556022
Automated Deduction - Cade-11
ISBN 9783540556022
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Automated Reasoning
Stéphane Demri, Deepak Kapur, Christoph Weidenbach
Theoretical Aspects of Computing – ICTAC 2017
Dang Van Hung, Deepak Kapur
Symbolic and numerical computation for artificial intelligence
Bruce R. Donald, Deepak Kapur, Joseph L. Mundy
Geometric reasoning
Deepak Kapur, Joseph L. Mundy
Dependable Software Engineering : Theories, Tools, and Applications
Martin änzle, Deepak Kapur, Naijun Zhan
Computer Mathematics
Deepak Kapur
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Verba volant · scripta manent