Proof technology and computation

Proof technology and computation

Detaylı Bibliyografya
Müşterek Yazar: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
Diğer Yazarlar: Schwichtenberg, Helmut 1942-, Spies, Katharina
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Amsterdam IOS Press c2006.
Seri Bilgileri:NATO science series,Series III,Computer and systems sciences v.200.
Konular:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Computer software > Development > Congresses.