-
461Έκδοση 1999Πίνακας περιεχομένων: “…, Temporal Logic Databases -- Revision Programming = Logic Programming + Integrity Constraints -- Quantifiers…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
462Έκδοση 2005Πίνακας περιεχομένων: “…-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
463Πίνακας περιεχομένων: “… for extProlog -- extProlog as Logic Programming Language -- Implementation of extProlog.…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
464Έκδοση 2013Πίνακας περιεχομένων: “…-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
465Έκδοση 2001Πίνακας περιεχομένων: “… Cost Performance -- Stratified Partial-Order Logic Programming -- Stratified Partial-Order Logic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
466Έκδοση 1999Πίνακας περιεχομένων: “… -- On bottom-up pre-processing techniques for automated default reasoning -- Probabilisitc Logic Programming…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
467Έκδοση 2002Πίνακας περιεχομένων: “… Discriminations: A Hybrid Approach for Relational Objects -- Logic Programming - Theorem Proving - Model Checking…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
468Έκδοση 2000Πίνακας περιεχομένων: “… Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
469
-
470
-
471
-
472
-
473Έκδοση 2013Πίνακας περιεχομένων: “… Fuzzy Set Inclusion Index -- Towards Categorical Fuzzy Logic Programming -- Probability-Possibility…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
474Έκδοση 2001Πίνακας περιεχομένων: “… and Termination of Simply-Moded Logic Programs with Dynamic Scheduling -- The Def-inite Approach to Dependency…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
475Έκδοση 2001Πίνακας περιεχομένων: “… Hierarchical Automata in Interactive Theorem Provers -- Refinement Calculus for Logic Programming in Isabelle…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
476Έκδοση 2000Πίνακας περιεχομένων: “… Languages -- Flow-Directed Closure Conversion for Typed Languages -- Directional Type Checking for Logic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
477Έκδοση 2001Πίνακας περιεχομένων: “… Timetabling -- Employee Timetabling -- Cyclical Staff Scheduling Using Constraint Logic Programming -- A…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
478Έκδοση 1997Πίνακας περιεχομένων: “… of natural deduction -- Tableaux for logic programming with strong negation -- Generalized tableau systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
479Έκδοση 2010Πίνακας περιεχομένων: “… in a Metamodel -- Possibilistic Semantics for Logic Programs with Ordered Disjunction -- Semantic Web…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
480Έκδοση 2006Πίνακας περιεχομένων: “… -- Security Protocols Verification in Abductive Logic Programming: A Case Study -- Complex Adaptive Systems…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο