Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

Kurt Gödel Colloquium (5th 1997 Vienna, Austria)

1 ספרים במאגר

ספרים

Computational logic and proof theoryKurt Gödel Colloquium (5th 1997 Vienna, Austria)

Computational logic and proof theory

Kurt Gödel Colloquium (5th 1997 Vienna, Austria) · 1997