TU Darmstadt / ULB / TUbiblio

System Description: INKA 5.0 -- A Logic Voyager

Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel (1999):
System Description: INKA 5.0 -- A Logic Voyager.
In: 16th International Conference on Automated Deduction, CADE--16, Trento, Italy, Springer, In: LNAI 1632, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1999
Creators: Autexier, Serge and Hutter, Dieter and Mantel, Heiko and Schairer, Axel
Title: System Description: INKA 5.0 -- A Logic Voyager
Language: English
Title of Book: 16th International Conference on Automated Deduction, CADE--16
Series Name: LNAI 1632
Place of Publication: Trento, Italy
Publisher: Springer
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 09 Apr 2010 14:10
Additional Information:

autexier.ea:system-description--inka-5-0--a-logic-voyager:1999a

Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item