Proof technology and computation

Proof technology and computation

ग्रंथसूची विवरण
निगमित लेखक: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
अन्य लेखक: Schwichtenberg, Helmut 1942-, Spies, Katharina
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Amsterdam IOS Press c2006.
श्रृंखला:NATO science series,Series III,Computer and systems sciences v.200.
विषय:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Computer software > Development > Congresses.