Search Results - "formality"

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

Geometry of Submanifolds and Homogeneous Spaces by Kaimakamis, George

Subjects: “…formality…”
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…”
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

Kellers Medien Formen - Genres - Institutionen

Subjects: “…Formalism…”
DOAB: download the publication
DOAB: description of the publication

Kellers Medien Formen - Genres - Institutionen

Subjects: “…Formalism…”
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…”
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

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

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

Abenteuer in der Moderne

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

The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries

Subjects: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
DOAB: download the publication
DOAB: description of the publication

The Job Ladder Transforming Informal Work and Livelihoods in Developing Countries

Subjects: “…Formal and informal work; Global South; labour market transition; work status; wage-employees; self-employed…”
OAPEN Library: download the publication
OAPEN Library: description of the publication