TU Darmstadt / ULB / TUbiblio

Automated deduction: a basis for applications. Vol. 2: Systems and implementation techniques

Bibel, Wolfgang (ed.) (1998):
Automated deduction: a basis for applications. Vol. 2: Systems and implementation techniques.
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. 2: Systems and implementation techniques
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:25
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