Результаты поиска - Omodeo, Eugenio G.

  • Отображение 1 - 2 результаты of 2
Отмена результатов
  1. 1

    Computational logic and set theory applying formalized logic to analysis по Schwartz, Jacob T.

    Опубликовано 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Значок книги
  2. 2

    Solvable Set II. A Goal-Driven Unification Algorithm for the Blended Case. по Dovier, Agostino

    Статья


    Значок книги

Инструменты поиска: