Schroeder-Heister, Peter
Articles populaires de Schroeder-Heister, Peter
Afficher toutes les offres-
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 7 offresEUR 25,55
-
Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings
Schroeder-Heister, Peter
Prix des articles à partir de
Afficher les 15 offresEUR 38,53
-
Extensions of Logic Programming: Second International Workshop, Elp 91 Stockholm, Sweden, January 27-29, 1991 : Proceedings
Eriksson, L. H.; Hallnas, L.
Prix des articles à partir de
Afficher les 9 offresEUR 42,33
-
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 12 offresEUR 37,88
-
-
Advances in Proof-Theoretic Semantics
Prix des articles à partir de
Afficher les 27 offresEUR 46,22
