TU Darmstadt / ULB / TUbiblio

Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods

Bibel, Wolfgang (ed.) (1998):
Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods.
Dordrecht: Kluwer Acad. Publ., 1998,
Dordrecht, Kluwer Acad. Publ, [Book]

Item Type: Book
Erschienen: 1998
Editors: Bibel, Wolfgang
Title: Automated deduction: a basis for applications. Vol. 1: Foundations, calculi and methods
Language: English
Place of Publication: Dordrecht
Publisher: Kluwer Acad. Publ
Edition: Dordrecht: Kluwer Acad. Publ., 1998
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:03
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details