" Peter Schroeder-Heister" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

#1

Substructural Logics (Studies in Logic and Computation)

Kosta Došen, Peter Schroeder-Heister

Категория: Образование

2.61 Mb

#2

Logik in der Philosophie

Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson

5.87 Mb

#3

Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

2.52 Mb

#4

Substructural logics

Peter Schroeder-Heister, Kosta Dosen

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

3.12 Mb

#5

Proof Theory in Computer Science, PTCS 2001

Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

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

1.73 Mb

#6

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister

2.69 Mb

#7

Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

2.75 Mb

#8

Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Peter Schroeder-Heister

3.64 Mb