Some upper and lower bounds on decision procedures in logic
Edición de la obra Some upper and lower bounds on decision procedures in logic
| Autor | Jeanne Ferrante |
|---|---|
| Editorial | Massachusetts Institute of Technology, Project MAC |
| Fecha de publicación | 1974 |
| Lugar | Cambridge, Mass |
| Idioma | inglés |
| Páginas | 268 |
| Serie | MAC TR -- 139 |
| Número de Cutter | F373s |