Bibel, Wolfgang
[Author];
Schmitt, Peter H.
[Author]
Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Text
Title:
Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
Contributor:
Bibel, Wolfgang
[Author];
Schmitt, Peter H.
[Author]
imprint:
KITopen (Karlsruhe Institute of Technologie), 2008-01-16