Ohcanbohtosat - "Logic"

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...

Fáttát: “…Computer logic…”
DOAB: download the publication
DOAB: 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...

Fáttát: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Variant Construction from Theoretical Foundation to Applications

Fáttát: “…Logic design.…”
Link to Metadata

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 So... Dahkki Ugo Dal Lago

Fáttát: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

Nuel Belnap on Indeterminism and Free Action

Fáttát: “…Logic.…”
Link to Metadata

The Rise of Informal Logic Dahkki Ralph H. Johnson

Fáttát: “…Informal logic…”
DOAB: download the publication
DOAB: description of the publication

Course notes on finite games and rational choice Dahkki Bruni, Riccardo

Fáttát: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication

Mathematical Aspects of Logic Programming Semantics Dahkki Hitzler, Pascal

Fáttát: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Course notes on finite games and rational choice Dahkki Bruni, Riccardo

Fáttát: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Variant Construction from Theoretical Foundation to Applications

Fáttát: “…Logic design…”
DOAB: download the publication
DOAB: description of the publication

Variant Construction from Theoretical Foundation to Applications

Fáttát: “…Logic design…”
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 So...

Fáttát: “…formal logic…”
DOAB: download the publication
DOAB: 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 So...

Fáttát: “…formal logic…”
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...

Fáttát: “…Logic programming.…”
Link to Metadata

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

Fáttát: “…Modal logic…”
DOAB: description of the publication

Chapter Ruth Barcan Marcus on Believing Without a Language Dahkki Proust, Joëlle

Fáttát: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus

Fáttát: “…Modal logic…”
OAPEN Library: description of the publication

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

Fáttát: “…Logic programming.…”
Link to Metadata

The Mythology in Our Language Remarks on Frazer's Golden Bough Dahkki Wittgenstein, Ludwig

Fáttát: “…Logic…”
DOAB: download the publication
DOAB: description of the publication

The Mythology in Our Language Remarks on Frazer's Golden Bough Dahkki Wittgenstein, Ludwig

Fáttát: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication