Výsledky hledání pro autora

1

Obálka

Extensions of logic programming : International Workshop Tübingen, FRG, December 8-10, 1989 : proceedings /

Vydáno 1991

Další autoři: '; “...Schroeder-Heister, Peter...”

Kniha

2

Obálka

Substructural logics /

Vydáno 1993

Další autoři: '; “...Schroeder-Heister, Peter...”

Kniha

3

Obálka

Proof theory in computer science : International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7.-12., 2001 : proceedings /

Vydáno 2001

Další autoři: '; “...Schroeder-Heister, Peter...”

Kniha