Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Schwichtenberg, Helmut', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Basic proof theory /
    ανά Troelstra, A. S. (Anne Sjerp)
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut, 1942-…”
    Βιβλίο
  2. 2
    Logic of computation /
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut, 1955-…”
    Πρακτικό Συνεδρίου Βιβλίο
  3. 3
    Basic proof theory /
    ανά Troelstra, A. S. (Anne Sjerp)
    Έκδοση 1996
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut, 1942-…”
    Βιβλίο
  4. 4
    Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Computational logic /
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut, 1955-…”
    Πρακτικό Συνεδρίου Βιβλίο
  6. 6
    Logic and algebra of specification /
    Έκδοση 1993
    Άλλοι συγγραφείς: “…Schwichtenberg, Helmut, 1955-…”
    Πρακτικό Συνεδρίου Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email