Prefixed resolution a resolution method for modal and description logics

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Areces, Carlos (VerfasserIn), Nivelle, Hans de 1967- (VerfasserIn), Rijke, Maarten de (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam Inst. for Logic, Language and Computation 1999
Schriftenreihe:Logic, philosophy and linguistics series] Instituut voor Taal, Logica en Informatie <Amsterdam>: [ILLC research report and technical notes series 1999,16
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!