Search Results - "Logic."
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 76
- Software Engineering 69
- Computer science 62
- Philosophy: logic 51
- History of engineering & technology 48
- Computer programming / software development 42
- Mathematical theory of computation 42
- Computer architecture & logic design 36
- Technology: general issues 36
- Computer networking & communications 32
- Philosophy 32
- Algorithms & data structures 28
- Research & information: general 28
- Logic 24
- Systems analysis & design 20
- Philosophy of science 19
- Software engineering 19
- Computer Science Logic and Foundations of Programming 17
- Mathematics & science 16
- Philosophy: epistemology & theory of knowledge 16
- Artificial Intelligence 14
- Formal Languages and Automata Theory 14
- Machine theory 14
- Mathematical foundations 14
- Analytical philosophy & Logical Positivism 13
- Computer modelling & simulation 12
- Network hardware 12
- Philosophy of language 12
- Western philosophy, from c 1900 - 11
- Circuits & components 10
-
81
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…temporal and modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
82
Sheaf Theory through Examples
Published 2022Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
83
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Published 2017Subjects: “…temporal and modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
84
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
85
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
86
Ontologia relazionale ricerche sulla filosofia classica tedesca
Published 2019Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
87
Le renouveau du spectacle musical en France
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
88
Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica
Published 2011Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
89
Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica
Published 2011Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
90
Deductive Systems in Traditional and Modern Logic
Published 2020Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
91
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
Published 2018Subjects: “…Logic design.…”
Link to Metadata
Electronic eBook -
92
Chapter Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg's Logica vetus et nova
Published 2023Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
93
A Theory of Regret
Published 2017Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
94
Logik. Wiener Logikkolleg 1894/95
Published 2016Subjects: “…philosophical logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
95
Worte am Werk Wittgenstein über Sprache und Welt
Published 2008Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
96
A Theory of Regret
Published 2017Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
97
Chapter Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg's Logica vetus et nova
Published 2023Subjects: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
98
Fading Foundations Probability and the Regress Problem /
Published 2017Subjects: “…Mathematical logic.…”
Link to Metadata
Electronic eBook -
99
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
100
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter