Εμφανίζονται 1 - 20 Αποτελέσματα από 23 για την αναζήτηση '"logic of graphs"', χρόνος αναζήτησης: 0,64δλ Περιορισμός αποτελεσμάτων
  1. 1
    Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
    ανά Bollig, Benedikt
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Preliminaries -- Graphs, Logics, and Graph Acceptors -- Words and Finite Automata -- Dags…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Transactions on Computational Systems Biology VII
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… -- On-line Algorithms -- Security Protocols Logic -- Random Graphs -- Concurrency I -- Encryption and related…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Advances in Intelligent Information Hiding and Multimedia Signal Processing Proceedings of the Thirteenth International Conference on Intelligent Information Hiding and Multimedia Signal Processing, August, 12-15, 2017, Matsue, Shimane, Japan, Part II /
    Έκδοση 2018
    Πίνακας περιεχομένων: “… Analysis Method Based on Logical Attack Graph -- A New Approach of Shape Recognition with Ane Invariance…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Conceptual Structures: From Information to Intelligence 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Description Logics, Description Graphs, and Rules -- Practical Graph Mining -- Accepted Papers -- Use…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Nonmonotonic Knowledge Bases with External Sources -- Combining Description Logics, Description Graphs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
    Έκδοση 2003
    Πίνακας περιεχομένων: “… of Learning Efficiency -- Efficient Data Structures for Inductive Logic Programming -- Graph Kernels…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Programming Languages and Systems 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… in Constructive Logic -- Canonical Graph Shapes.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    A World with Robots International Conference on Robot Ethics: ICRE 2015 /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Logic and Graph Databases -- 4 A 21st-Century Ethical Hierarchy for Robots and Persons: EH -- 5 Robots…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Dynamics -- A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… programming and non-commutative logic -- A hierarchical approach to monadic second-order logic over graphs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Graph Transformations Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… for Transducers -- Monadic Second Order Logic on Graphs with Local Cardinality Constraints -- Short Proofs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… Nets for Object-Oriented Design -- Qualitative Modelling of Genetic Networks: From Logical Regulatory…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “…Invited Talks -- Recent Developments in Algorithmic Teaching -- Monadic Second-Order Logic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Processes to SRML Models -- Verification and Testing I -- A Logic of Graph Constraints -- A Generic Complete…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Ασφαλή και έμπιστα πρωτόκολλα επικοινωνιών με χρήση κρυπτογραφίας και κρυπτανάλυσης
    ανά Λιάγκου, Βασιλική
    Έκδοση 2008
    Λήψη πλήρους κειμένου
    Thesis
  18. 18
    Intelligent Distributed Computing XI
    Έκδοση 2018
    Πίνακας περιεχομένων: “… on Fuzzy Logic and Graph Theory -- Part III: Multi-agent Systems -- Programming the Interaction Space…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Conditions -- Towards the Verification of Attributed Graph Transformation Systems -- A Modal-Logic Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “… and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email