The computational complexity of logical theories Jeanne Ferrante, Charles W. Rackoff

Bibliographische Detailangaben

1. Verfasser:	Ferrante, Jeanne (VerfasserIn)
Weitere Verfasser:	Rackoff, Charles W. (BerichterstatterIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin, Heidelberg usw. Springer 1979
Schriftenreihe:	(Lecture notes in mathematics 718)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!