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 |
|---|---|
| Fecha de publicación | 1974 |
| Idioma | inglés |
| Páginas | 268 |
| OCLC | 3617401 |
| Número de Cutter | F373s |
Edición de la obra Some upper and lower bounds on decision procedures in logic
| Autor | Jeanne Ferrante |
|---|---|
| Fecha de publicación | 1974 |
| Idioma | inglés |
| Páginas | 268 |
| OCLC | 3617401 |
| Número de Cutter | F373s |