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