"Alexander Leitsch" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Methods of Cut-Elimination (Trends in Logic, 34)

Alexander Leitsch, Matthias Baaz

Категория: Математика, Математическая логика

1.28 Mb

#2

Methods of Cut-Elimination (Trends in Logic, 34)

Alexander Leitsch, Matthias Baaz

Категория: Математика, Математическая логика

3.49 Mb

#3

Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 Proceedings, Vol. 128

Georg Gottlob, Alexander Leitsch, Daniele Mundici

24.09 Mb

#4

Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Категория: Cs_Computer science, CsLn_Lecture notes

2.95 Mb

#5

Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997

Georg Gottlob, Alexander Leitsch, Daniele Mundici

Категория: Cs_Computer science, CsLn_Lecture notes

3.05 Mb

#6

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Rajeev Gore, Alexander Leitsch, Tobias Nipkow

6.88 Mb