Zoekresultaten - "logic"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- 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
-
541
Sheaf Theory through Examples
Gepubliceerd in 2022Onderwerpen: “…Mathematical logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
542
Sémantique formelle: Volume 1 Introduction à la grammaire de Montague
Gepubliceerd in 2017Onderwerpen: “…temporal and modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
543
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in 2021Onderwerpen: “…Logics and Meanings of Programs…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
544
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Gepubliceerd in 2021Onderwerpen: “…Logics and Meanings of Programs…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
545
Ontologia relazionale ricerche sulla filosofia classica tedesca
Gepubliceerd in 2019Onderwerpen: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
546
Le renouveau du spectacle musical en France
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
547
Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica
Gepubliceerd in 2011Onderwerpen: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
548
Alvin Plantinga: conoscenza religiosa e naturalizzazione epistemologica
Gepubliceerd in 2011Onderwerpen: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
549
-
550
-
551
-
552
-
553
-
554
Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
Gepubliceerd in 2018Onderwerpen: “…Logic design.…”
Link to Metadata
Elektronisch E-boek -
555
-
556
Chapter Self-examination, Understanding, Transmission: On Becoming a Teacher in Clauberg's Logica vetus et nova
Gepubliceerd in 2023Onderwerpen: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
557
A Theory of Regret
Gepubliceerd in 2017Onderwerpen: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
558
Logik. Wiener Logikkolleg 1894/95
Gepubliceerd in 2016Onderwerpen: “…philosophical logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
559
Worte am Werk Wittgenstein über Sprache und Welt
Gepubliceerd in 2008Onderwerpen: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
560
A Theory of Regret
Gepubliceerd in 2017Onderwerpen: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk