Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Lean (proof assistant)', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 1
    Complex Systems Design & Management Proceedings of the First International Conference on Complex System Design & Management CSDM 2010 /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…V Intersection Assistance System -- Contribution to Rational Determination of Warranty Parameters…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… into Interactive Proof Assistants -- Semantic Guidance -- The eXtended Least Number Heuristic -- System Description…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… -- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP -- ? lean TA P: A…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…Invited Lectures -- Ushering in a New Era of Algorithm Design -- A “proof-reading” of Some Issues…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Advances in Informatics and Computing in Civil and Construction Engineering Proceedings of the 35th CIB W78 2018 Conference: IT in Design, Construction, and Management /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… -- A lean design management process based on planning the Level of Detail in BIM-based design -- Part 2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email