Отображение 1 - 1 результаты of 1 для поиска 'Gallier, Jean H; Author', время запроса: 0.01сек. Отмена результатов
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    по Gallier, Jean H; Author
    Опубликовано 1987
    Printed Book
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email