Automation in language translation and theorem proving. : Some applications of mathematical logic / Edited by P. Braffort and F. van Scheepen.
| Other author/creator | Braffort, P. (Paul) |
| Other author/creator | Scheepen, F. van. |
| Other author/creator | Commission of the European Communities. Directorate-General for Dissemination of Information. |
| Format | Book and Print |
| Publication Info | Brussels : Commission of the European Communities, Directorate-General for Dissemination of Information, 1968. |
| Description | xv, 295 pages ; 25 cm |
| Subject(s) |
Click here for more information about this title
| General note | "EUR 4038 e" |
| Bibliography note | Includes bibliographies. |
| LCCN | 77467790 |
| Stock number | 41.60 ($12.00) |
Available Items
| Library | Location | Call Number | Status | Item Actions | |
| Joyner | General Stacks | QA9 .A89 | ✔ Available | Place Hold |