Предлагаемые темы внутри своего поиска.
Отображение 1 - 3 результаты of 3 для поиска '', время запроса: 0.01сек. Отмена результатов
  1. 1
    Logic for computer science: foundations of automatic theorem proving
    по Gallier, Jean H; Author
    Опубликовано 1987
    Printed Book
  2. 2
    Applied proof theory : proof interpretations and their use in mathematics /
    по Kohlenbach, U.
    Опубликовано 2008
    Printed Book
  3. 3
    Logic for computer science : foundations of automatic theorem proving /
    по Gallier, Jean H.
    Опубликовано 2015
    Printed Book
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email