Canlyniadau Chwilio - "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...

Pynciau: “...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...

Pynciau: “...Computer logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Variant Construction from Theoretical Foundation to Applications

Pynciau: “...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... gan Ugo Dal Lago

Pynciau: “...modal logic...”
DOAB: download the publication
DOAB: description of the publication

Nuel Belnap on Indeterminism and Free Action

Pynciau: “...Logic....”
Link to Metadata

The Rise of Informal Logic gan Ralph H. Johnson

Pynciau: “...Informal logic...”
DOAB: download the publication
DOAB: description of the publication

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

Pynciau: “...Philosophy: logic bicssc...”
DOAB: download the publication
DOAB: description of the publication

Mathematical Aspects of Logic Programming Semantics gan Hitzler, Pascal

Pynciau: “...Logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Pynciau: “...Philosophy: logic bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Variant Construction from Theoretical Foundation to Applications

Pynciau: “...Logic design...”
DOAB: download the publication
DOAB: description of the publication

Variant Construction from Theoretical Foundation to Applications

Pynciau: “...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...

Pynciau: “...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...

Pynciau: “...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...

Pynciau: “...Logic programming....”
Link to Metadata

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

Pynciau: “...Modal logic...”
DOAB: description of the publication

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

Pynciau: “...Modal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Pynciau: “...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 /

Pynciau: “...Logic programming....”
Link to Metadata

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

Pynciau: “...Logic...”
DOAB: download the publication
DOAB: description of the publication

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

Pynciau: “...Logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication