Mechanical theorem proving in the USSR: the Leningrad school/ Vladimir Lifschitz.
Series: Monograph series on Soviet Union | Delphic emigre seriesPublication details: Falls Church, Va. (7700 Leesburg Pike, #250, Falls Church 22043): Delphic Associates, c1986.Description: xii, 103 leaves; 29 cmSubject(s): DDC classification:- 511.3 L722m
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 L722m 1986 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000169055 |
Bibliography: leaves 98-103.
There are no comments on this title.