Diğer Bilgiler: Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.).

Summary goes here

Kaydedildi:

Detaylı Bibliyografya
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	Automatic theorem proving Computer programming Artificial intelligence. Artificial Intelligence Electronic Data Processing Théorèmes Programmation (Informatique) Intelligence artificielle. artificial intelligence. Informatique. Beweistheorie Programmierung Typentheorie Typsystem HOL Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Turin (2008)
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Diğer Bilgiler
Özet:	Summary goes here
Diğer Bilgileri:	General Notes
Fiziksel Özellikler:	1 online resource (viii, 322 pages) :illustrations
ISBN:	9783642024443 3642024440 3642024432 9783642024436 9788364202445 8364202448