Conservative reduction classes of Krom formulas

Bibliographische Detailangaben

1. Verfasser:	Aanderaa, Stål O. (VerfasserIn)
Weitere Verfasser:	Börger, Egon (VerfasserIn), Lewis, Harry R. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. Center for Research in Computing Techn., Aiken Computation Laboratory, Univ. 1980
Schriftenreihe:	Center for Research in Computing Technology, Harvard University 1980,1
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!