Search Results - "logics"

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

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

Logic and the Foundations of Game and Decision Theory (LOFT 7)

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

Concepts in Action Representation, Learning, and Application

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

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

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

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

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

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: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata

The Everyday Life of an Algorithm by Neyland, Daniel

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

Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika by Živanović, Sašo

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

The Everyday Life of an Algorithm by Neyland, Daniel

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

Fading Foundations Probability and the Regress Problem by Atkinson, David

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

Analyse von Kundenaktivitäten und der Bereitstellungsqualität von Büchern aus Kundensicht Mit einer Untersuchung von Kundenkommentaren zu Mietangeboten für E-Books by Wittrock, Janina

Subjects: “…Value in Use, activity theory, consumer activities, Customer dominant logic, CDL, customer focus, reading books, books, reader, rental service, purchase, public library, book retail, bookshop, quality of provision, content analysis, customization, personalization, consumer comments, master thesis, Germany…”
DOAB: download the publication
DOAB: description of the publication

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter

Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication

Analyse von Kundenaktivitäten und der Bereitstellungsqualität von Büchern aus Kundensicht Mit einer Untersuchung von Kundenkommentaren zu Mietangeboten für E-Books by Wittrock, Janina

Subjects: “…Value in Use, activity theory, consumer activities, Customer dominant logic, CDL, customer focus, reading books, books, reader, rental service, purchase, public library, book retail, bookshop, quality of provision, content analysis, customization, personalization, consumer comments, master thesis, Germany…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fading Foundations Probability and the Regress Problem by Atkinson, David

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

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things by Marwedel, Peter

Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Basic Knowledge and Conditions on Knowledge by McBride, Mark

Subjects: “…Logical consequence…”
DOAB: download the publication
DOAB: description of the publication

Basic Knowledge and Conditions on Knowledge by McBride, Mark

Subjects: “…Logical consequence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata