Bibel, Wolfgang
[VerfasserIn];
Schmitt, Peter H.
[VerfasserIn]
Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Sonstige Veröffentlichung
Titel:
Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
Beteiligte:
Bibel, Wolfgang
[VerfasserIn];
Schmitt, Peter H.
[VerfasserIn]
Erschienen:
KITopen (Karlsruhe Institute of Technologie), 2008-01-16