Automation of reasoning

Erschienen: Bd. 1 (1983) bis Bd. 2 (1983)

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Siekmann, Jörg (HerausgeberIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin u.a. Springer
Schriftenreihe:	Symbolic computation
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Erschienen: Bd. 1 (1983) bis Bd. 2 (1983)