Reset Filters
LC: Q - Science

Author Results for Cook, Stephen, 1948

Cook, Stephen,,1948
Cook,Stephen
Cook,Stephen,
Hussmann,Heinrich,
Johnson,Peter
see all »
Jézéquel,Jean-Marc,
UML 2002,Dresden, Germany)

1
Logical foundations of proof complexity /

Cover is for reference only
Main Authors: Cook, Stephen, 1948
Group Author: Nguyen, Phuong, 1977
Published:
Call Number: O141.2/C771
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —