New bounds for formula size

Bibliographische Detailangaben

1. Verfasser:	Paterson, M. S. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Coventry Dep. of Computer Science, Univ. 1976
Schriftenreihe:	Theory of computation report 16
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!