Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Lafont, Yves', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proofs and types

    Proofs and types από Girard, Jean-Yves

    Δημοσίευση 1990
    Άλλοι συγγραφείς: “…Lafont, Yves…”
    Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Advances in linear logic

    Advances in linear logic

    Δημοσίευση 1995
    Άλλοι συγγραφείς:
    Πρακτικό Συνεδρίου Βιβλίο
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:

Εργαλεία αναζήτησης: