A confluent connection calculus

Bibliographische Detailangaben

Veröffentlicht in:	Dix, Jürgen Nonmonotonic reasoning
1. Verfasser:	Baumgartner, Peter (VerfasserIn)
Weitere Verfasser:	Eisinger, Norbert (VerfasserIn), Furbach, Ulrich (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	1998
Schriftenreihe:	Fachberichte Informatik / Universität Koblenz-Landau, Institut für Informatik 23/98
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!