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 | Project MAC, Massachusetts Institute of Technology |
| Fecha de publicación | 1974 |
| Lugar | Cambridge |
| Idioma | inglés |
| Páginas | 268 |
| LCCN | 76353675 |
| Número de Cutter | F373s |