Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση '"superposition calculus"', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Arithmetic into Superposition Calculus -- Lambda Calculus 1 -- The Theory of Calculi with Explicit…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email