Some upper and lower bounds on decision procedures in logic
An edition of Some upper and lower bounds on decision procedures in logic (1974)
By Jeanne Ferrante
Publish Date
1974
Publisher
-
Language
eng
Pages
268
1-2 of 2 Editions
Some upper and lower bounds on decision procedures in logic
Language: eng
Pages: 268
Published In: 1974
Some upper and lower bounds on decision procedures in logic
Language: eng
Pages: 268
Published In: 1974
Publisher: Project MAC, Massachusetts Institute of Technology