Search Results - "Formalism"

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

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

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

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

Handbook of Open, Distance and Digital Education

Subjects: “…Non-formal education.…”
Link to Metadata

Advances in the study of Siouan languages and linguistics

Subjects: “…formal/generative linguistics…”
DOAB: download the publication
DOAB: description of the publication

Advances in the study of Siouan languages and linguistics

Subjects: “…formal/generative linguistics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

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

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II

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

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

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

Marie Luise Gotheins "Geschichte der Gartenkunst" Das Bild des Gartens als Text by Seeber, Karin

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

Marie Luise Gotheins "Geschichte der Gartenkunst" Das Bild des Gartens als Text by Seeber, Karin

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

Chapter 24: The European Parliament as a gender equality actor: a contradictory forerunner by Kantola, Johanna

Subjects: “…European Parliament; Gender equality; Feminist governance; Formal gendered institutions; Informal gendered institutions; Feminist institutionalism; Opposition to gender equality; Resistance to change towards gender equality…”
DOAB: download the publication
DOAB: description of the publication

The Art of Abduction by Douven, Igor

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

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

Subjects: “…formal languages and automata theory…”
DOAB: download the publication
DOAB: description of the publication

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

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

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

Subjects: “…formal languages and automata theory…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Subjects: “…Formal Languages and Automata Theory.…”
Link to Metadata