TU Darmstadt / ULB / TUbiblio

DT an automated theorem prover for multiple-valued first-order predicate logics

Gerberding, Stefan (1996)
DT an automated theorem prover for multiple-valued first-order predicate logics.
Conference or Workshop Item, Bibliographie

Item Type: Conference or Workshop Item
Erschienen: 1996
Creators: Gerberding, Stefan
Type of entry: Bibliographie
Title: DT an automated theorem prover for multiple-valued first-order predicate logics
Language: English
Date: 1 January 1996
Place of Publication: Los Alamitos, Calif
Publisher: IEEE Computer Soc. Press
Series: International Symposium on Multiple-Valued Logic <26, 1996, Santiago de Compostela, Spain>: Proceedings. S. 284-289
Edition: Los Alamitos, Calif.: IEEE Computer Soc. Press, 1996
Divisions: 20 Department of Computer Science
Date Deposited: 19 Nov 2008 16:00
Last Modified: 05 Mar 2013 08:35
PPN:
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