Special issue on advances in first-order theorem proving

Bibliographische Detailangaben

Weitere Verfasser:	Bonacina, Maria Paola (BerichterstatterIn), Furbach, Ulrich (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	London u.a. Academic Press 2000
Schriftenreihe:	Journal of symbolic computation 29,2
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!