Rezultati - "Logic"

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague od Roussarie, Laurent

Teme: “...temporal and modal logic...”
DOAB: download the publication
DOAB: description of the publication

Sheaf Theory through Examples od Rosiak, Daniel

Teme: “...logic...”
DOAB: download the publication
DOAB: description of the publication

Sémantique formelle: Volume 1 Introduction à la grammaire de Montague od Roussarie, Laurent

Teme: “...temporal and modal logic...”
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

Teme: “...formal logic...”
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

Teme: “...formal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Ontologia relazionale ricerche sulla filosofia classica tedesca od Marco Ivaldo

Teme: “...logic...”
DOAB: download the publication
DOAB: description of the publication

Le renouveau du spectacle musical en France od Xavier Dupuis

Teme: “...industrial logic...”
DOAB: download the publication
DOAB: description of the publication

Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica od Di Stasio, Margherita

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

Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica od Di Stasio, Margherita

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

Deductive Systems in Traditional and Modern Logic

Teme: “...logic...”
DOAB: download the publication
DOAB: description of the publication

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Teme: “...Logic design....”
Link to Metadata

Chapter Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg's Logica vetus et nova od Efal-Lautenschlaeger, Adi

Teme: “...logic...”
DOAB: download the publication
DOAB: description of the publication

A Theory of Regret od Price, Brian

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

Logik. Wiener Logikkolleg 1894/95 od Twardowski, Kazimierz

Teme: “...philosophical logic...”
DOAB: download the publication
DOAB: description of the publication

Worte am Werk Wittgenstein über Sprache und Welt od Carrujo Covas, Luis Miguel

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

A Theory of Regret od Price, Brian

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

Chapter Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg's Logica vetus et nova od Efal-Lautenschlaeger, Adi

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

Fading Foundations Probability and the Regress Problem / od Atkinson, David, Peijnenburg, Jeanne

Teme: “...Mathematical logic....”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Teme: “...modal logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication