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

Onderwerpen: “…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...

Onderwerpen: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Variant Construction from Theoretical Foundation to Applications

Onderwerpen: “…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... door Ugo Dal Lago

Onderwerpen: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication

Nuel Belnap on Indeterminism and Free Action

Onderwerpen: “…Logic.…”
Link to Metadata

The Rise of Informal Logic door Ralph H. Johnson

Onderwerpen: “…Informal logic…”
DOAB: download the publication
DOAB: description of the publication

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

Onderwerpen: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication

Mathematical Aspects of Logic Programming Semantics door Hitzler, Pascal

Onderwerpen: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

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

Variant Construction from Theoretical Foundation to Applications

Onderwerpen: “…Logic design…”
DOAB: download the publication
DOAB: description of the publication

Variant Construction from Theoretical Foundation to Applications

Onderwerpen: “…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...

Onderwerpen: “…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...

Onderwerpen: “…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...

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

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

Onderwerpen: “…Modal logic…”
DOAB: description of the publication

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

Onderwerpen: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Onderwerpen: “…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 /

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

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

Onderwerpen: “…Logic…”
DOAB: download the publication
DOAB: description of the publication

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

Onderwerpen: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication