Search Results - "formality"

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

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

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

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

Resistant Form Aristophanes and the Comedy of Crisis by Telò, Mario

Subjects: “…Aristophanes;Greek comedy;formalism;queer studies;classical literature;biopolitics;close reading…”
DOAB: download the publication
DOAB: description of the publication

Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung by Groinig, Maria

Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
DOAB: download the publication
DOAB: description of the publication

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

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

The Natural World as a Resource for Learning and Development: From Schoolyards to Wilderness

Subjects: “…Formal learning…”
DOAB: download the publication
DOAB: description of the publication

Forms of List-Making: Epistemic, Literary, and Visual Enumeration

Subjects: “…new formalism…”
DOAB: download the publication
DOAB: description of the publication

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

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

Bildung als Perspektive für Care Leaver? Bildungschancen und Bildungswege junger Erwachsener mit Kinder- und Jugendhilfeerfahrung by Groinig, Maria

Subjects: “…(formale) Bildung; Adoleszenz; Ausbildungschancen; Bildungsverläufe; Erwachsene Heinkinder; Heimkinder; informelle Bildung; Kinder- und Jugendhilfe; Pflegekinder; SOS-Kinderdörfer; Sozialpädagogik; Statuspassage…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Forms of List-Making: Epistemic, Literary, and Visual Enumeration

Subjects: “…new formalism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Resistant Form Aristophanes and the Comedy of Crisis by Telò, Mario

Subjects: “…Aristophanes;Greek comedy;formalism;queer studies;classical literature;biopolitics;close reading…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Videogame Formalism On Form, Aesthetic Experience and Methodology by Mitchell, Alex

Subjects: “…game studies, formalism, game analysis, aesthetic theory of games…”
DOAB: download the publication
DOAB: description of the publication

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

Videogame Formalism On Form, Aesthetic Experience and Methodology by Mitchell, Alex

Subjects: “…game studies, formalism, game analysis, aesthetic theory of games…”
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