Mechanical theorem proving in the USSR
the Leningrad school
Edición de la obra Mechanical theorem proving in the USSR
| Autor | Vladimir Lifschitz |
|---|---|
| Editorial | Delphic Associates |
| Fecha de publicación | 1986 |
| Lugar | Falls Church, VA (7700 Leesburg Pike, #250, Falls Church 22043) |
| Idioma | inglés |
| Páginas | 103 |
| OCLC | 16351308 |
| LCCN | 87109096 |
| Serie | Monograph series on Soviet Union · Delphic emigre series |
| Número de Cutter | L722m |