Search Results - "logic programming"

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal

OAPEN Library: download the publication
OAPEN Library: description of the publication

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal

OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Logic programming.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Logic programming.…”
Link to Metadata

Knowledge Graphs and Big Data Processing

Subjects: “…Logic programming.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Logic programming.…”
Link to Metadata

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology by David A. Rosenblueth

Subjects: “…Logic programing…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Subjects: “…Logic programming.…”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Logic programming.…”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…logic programming…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…logic programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Subjects: “…logic programming…”
DOAB: download the publication
DOAB: description of the publication

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

Subjects: “…logic programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Subjects: “…logic programming…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Subjects: “…logic programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Influences of Frege's Predicate Logic on Some Computational Models by Mohamad Awwad

Connect to this object online.

Using computer-based tests for information science by David Callear, Terry King

Connect to this object online.

Semantics Advances in Theories and Mathematical Models

DOAB: download the publication
DOAB: description of the publication

Engineering the Computer Science and IT

DOAB: download the publication
DOAB: description of the publication

Influences on the Uptake of and Engagement With Health and Well-Being Smartphone Apps: Systematic Review by Szinay, Dorothy, Jones, Andy, Chadborn, Tim, Brown, Jamie, Naughton, Felix

Connect to this object online.