TU Darmstadt / ULB / TUbiblio

Non-classical automated deduction

Bibel, Wolfgang and Thielscher, (1996):
Non-classical automated deduction.
In: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59, München, Oldenbourg, [Book Section]

Item Type: Book Section
Erschienen: 1996
Creators: Bibel, Wolfgang and Thielscher,
Title: Non-classical automated deduction
Language: German
Title of Book: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59
Place of Publication: München
Publisher: Oldenbourg
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)

View Item View Item