Catalogo · 9783540894384
Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings
ISBN 9783540894384
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Handbook of Model Checking
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Computer Aided Verification
Natasha Sharygina, Helmut Veith
Model Checking, Second Edition
Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, Edmund M. Clarke
Computer Science Logic
Anuj Dawar, Helmut Veith
25 Years of Model Checking
Orna Grumberg, Helmut Veith
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
Biofabrication
Ritu Raman
Verba volant · scripta manent