Search Results - "Logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
681
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II /
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
682
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I /
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
683
Syntax of Dutch Nouns and Noun Phrases - Volume 2
Published 2012Subjects: “…Quantifier (logic)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
684
Peirce's Twenty-Eight Classes of Signs and the Philosophy of Representation Rhetoric, Interpretation and Hexadic Semiosis
Published 2016Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
685
Die Begründung des Realen Hegels "Logik" im Kontext der Realitätsdebatte um 1800
Published 2021Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
686
Peirce's Twenty-Eight Classes of Signs and the Philosophy of Representation Rhetoric, Interpretation and Hexadic Semiosis
Published 2016Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
687
Syntax of Dutch Nouns and Noun Phrases - Volume 2
Published 2012Subjects: “…Quantifier (logic)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
688
Die Begründung des Realen Hegels "Logik" im Kontext der Realitätsdebatte um 1800
Published 2021Subjects: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
689
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
690
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
691
Numinous Subjects Engendering the Sacred in Western Culture, An Essay
Published 2007Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
692
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
693
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2018Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
694
Numinous Subjects Engendering the Sacred in Western Culture, An Essay
Published 2007Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
695
Polish Media System in a Comparative Perspective Media in Politics, Politics in Media
Published 2019Subjects: “…media logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
696
Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg August 26 to 30, 2014
Published 2020Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
697
Polish Media System in a Comparative Perspective Media in Politics, Politics in Media
Published 2019Subjects: “…media logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
698
Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg August 26 to 30, 2014
Published 2020Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
699
Sport, Performance and Sustainability
Published 2023Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
700
Sport, Performance and Sustainability
Published 2023Subjects: “…digitization;environment;logics of sport;PE;performance;physical education;Sportification;sustainability;sustainable development;technology;training…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter