Media type: Book Title: A fascinating country in the world of computing : your guide to automated reasoning Contributor: Wos, Larry [Author]; Pieper, Gail W. [Author] Published: Singapore [u.a.]: World Scientific, 1999 Extent: XX, 587 S; 1 CD-ROM Language: English ISBN: 9810239106 RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Automatisches Beweisverfahren Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 304 W935 Item ID: 30444066 Issue: Buch Status: Loanable
Departmental Library DrePunct – lending at desk Shelf-mark: 2000 8 011413 001 T2 Item ID: 30444067 Issue: CD-ROM Status: Loanable