An edition of Gems of Theoretical Computer Science (1998)
Gems of Theoretical Computer Science
By Uwe Schöning,Randall J. Pruim,R. Pruim
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2012
Publisher
Springer London, Limited
Language
eng
Pages
333
Description:
subjects: Automatic theorem proving