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.
In: International Symposium on Multiple-Valued Logic <26, 1996, Santiago de Compostela, Spain>: Proceedings. S. 284-289, Los Alamitos, Calif.: IEEE Computer Soc. Press, 1996,
Los Alamitos, Calif, IEEE Computer Soc. Press, [Conference or Workshop Item]

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