TU Darmstadt / ULB / TUbiblio

Handbook of Tableau Methods

D'Agostino, Marcello and Gabbay, Dov and Hähnle, Reiner and Posegga, Joachim (eds.) (1999):
Handbook of Tableau Methods.
Kluwer, Dordrecht, ISBN 0-7923-5627-6,
[Book]

Item Type: Book
Erschienen: 1999
Editors: D'Agostino, Marcello and Gabbay, Dov and Hähnle, Reiner and Posegga, Joachim
Title: Handbook of Tableau Methods
Language: German
Publisher: Kluwer, Dordrecht
ISBN: 0-7923-5627-6
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: TableauHandbook
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