Schroeder-Heister, Peter
Articles populaires de Schroeder-Heister, Peter
Afficher toutes les offres-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Kahle, Reinhard; Schroeder-Heister, Peter; St??rk, Robert
Prix des articles à partir de
Afficher les 10 offresEUR 38,40
-
Extensions of Logic Programming: International Workshop Tubingen Frg, December 8-10, 1989 Proceedings
Schroeder-Heister
Prix des articles à partir de
Afficher les 13 offresEUR 39,06
-
Advances in Proof-theoretic Semantics
Prix des articles à partir de
Afficher les 26 offresEUR 54,72
-
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Schroeder-Heister, Peter; Eriksson, Lars-Henrik; Halln??s, Lars
Prix des articles à partir de
Afficher les 10 offresEUR 42,06
-
-
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Herre, Heinrich; Schroeder-Heister, Peter; Dyckhoff, Roy
Prix des articles à partir de
Afficher les 6 offresEUR 48,02
