Autoepistemic logic as a unified basis for nonmonotonic reasoning

Zugl.: Espoo, Helsinki Univ. of Technology, Diss. : 1993

Bibliographische Detailangaben

1. Verfasser:	Niemelä, Ilkka (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Espoo Helsinki Univ. of Technology, Dep. of Computer Science, Digital Systems Laboratory 1993
Schriftenreihe:	Reports of the Digital Systems Laboratory Series A, Research reports 24 Dissertation from Helsinki University of Technology 883
Schlagworte:	Automatisches Beweisverfahren
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!