A first-order axiomatization of the theory of finite trees

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Backofen, Rolf (VerfasserIn)
Weitere Verfasser:	Rogers, James (VerfasserIn), Vijay-Shanker, K. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern, Saarbrücken DFKI 1995
Schriftenreihe:	Research Report / Deutsches Forschungszentrum für Künstliche Intelligenz 95-05
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!