Classical papers on computational logic 1957 - 1966

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Siekmann, Jörg (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1983
Schriftenreihe:	Automation of reasoning 1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!