Theorem-proving systems
Edición de la obra Theorem-proving systems
| Autor | Ewa Orlowska |
|---|---|
| Editorial | Panstwowe Wydawn. Naukowe |
| Fecha de publicación | 1973 |
| Lugar | Warszawa |
| Idioma | inglés |
| Páginas | 55 |
| OCLC | 5214392 |
| Serie | Polska Akademia Nauk. Instytut Matematyczny. Dissertationes mathematicae (Rozprawy matematyczne) 103 |
| Número de Cutter | O72t |