Showing 1 - 14 results of 14 for search '"First-order logic"', query time: 0.09s Refine Results
  1. 1
    Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers /
    Published in Springer eBooks (2014)
    Table of Contents: “... -- Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  2. 2
    Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
    by Nievergelt, Yves
    Published in Springer eBooks (2015)
    Table of Contents: “...Preface -- 1. Propositional Logic: Proofs from Axioms and Inference Rules -- 2. First Order Logic...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  3. 3
    Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers /
    Published in Springer eBooks (2013)
    Table of Contents: “... to First-Order Logic of Probability.- Pronto: A Practical Probabilistic Description Logic Reasoner...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  4. 4
    Boosted Statistical Relational Learners From Benchmarks to Data-Driven Medicine /
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  5. 5
    Managing Requirements Knowledge
    Published in Springer eBooks (2013)
    Table of Contents: “... in Software Requirements -- Automated Verification of Variability Model Using First Order Logic -- Model-based...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  6. 6
    Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Table of Contents: “... with Cauchy Matrices, Polynomials and Rational Functions -- First-Order Logic on CPDA Graphs -- Recognizing...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  7. 7
    Dag Prawitz on Proofs and Meaning
    Published in Springer eBooks (2015)
    Table of Contents: “... -- First-order Logic without bound variables: Compositional Semantics; Tait, William W -- On Gentzen...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  8. 8
    Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... Complexity -- First-Order Logic Definability of Free Languages -- Representation of (Left) Ideal Regular...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  9. 9
    Conceptual Structures for STEM Research and Education 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... System for Crowdsoursing Platforms -- The First-order Logical Environment -- Using Conceptual Graphs...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  10. 10
    Automated Deduction - CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... -- Automated Reasoning, Fast and Slow -- Foundational Proof Certificates in First-Order Logic -- Computation...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  11. 11
    Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
    Published in Springer eBooks (2013)
    Table of Contents: “... Height -- A Short Tutorial on Order-Invariant First-Order Logic -- Exponential Lower Bounds for Refuting...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  12. 12
    Advances in Intelligent Data Analysis XIV 14th International Symposium, IDA 2015, Saint Etienne. France, October 22 -24, 2015. Proceedings /
    Published in Springer eBooks (2015)
    Table of Contents: “... Unlabeled Data -- Segregation Discovery in a Social Network of Companies -- A first+-order-logic based model...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  13. 13
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Published in Springer eBooks (2014)
    Table of Contents: “... First-Order Logic -- Stability and Complexity of Minimising Probabilistic Automata -- Kleene Algebra...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
  14. 14
    The Language of Mathematics A Linguistic and Philosophical Investigation /
    by Ganesalingam, Mohan
    Published in Springer eBooks (2013)
    Table of Contents: “... The Inadequacy of First-Order Logic -- 3.3.2 Discourse Representation Theory -- 3.3.3 Semantic Functions -- 3.3.4...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed