A Test for Evaluating the Practical Usefulness of Deduction Systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Ereignis
Veröffentlichung
(wo)
Kaiserslautern
(wer)
Technische Universität Kaiserslautern, Fachbereich Informatik
(wann)
1999
Beteiligte Personen und Organisationen
Kerber, Manfred
Huang, Xiaorong
Kohlhase, Michael
Nesmith, Dan
Richts, Jörn

URN
urn:nbn:de:hbz:386-kluedo-2238
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:39 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 1999

Ähnliche Objekte (12)