Putting time into proof outlines
Edición de la obra Putting time into proof outlines
| Autor | Fred B. Schneider |
|---|---|
| Editorial | Dept. of Computer Science, National Aeronautics and Space Administration, National Technical Information Service, distributor |
| Fecha de publicación | 1991 |
| Lugar | Ithaca, NY, [Washington, DC, Springfield, Va |
| Idioma | inglés |
| Formato | Microform |
| Serie | NASA contractor report -- NASA CR-189500. |
| Número de Cutter | S358p |