Zoekresultaten - "logic"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
- 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
-
161
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Gepubliceerd in 2018Onderwerpen: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
162
Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...
Gepubliceerd in 2018Onderwerpen: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
163
Simulation and Gaming
Gepubliceerd in 2018Onderwerpen: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
164
Educating Health Professionals in Genomic Medicine: Evidence-Based Strategies and Approaches
Gepubliceerd in 2020Onderwerpen: “…program logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
165
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Gepubliceerd in 2023Onderwerpen: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
166
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Gepubliceerd in 2023Onderwerpen: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
167
Derrida on Being as Presence Questions and Quests
Gepubliceerd in 2017Onderwerpen: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
168
The Reasoning Brain: The Interplay between Cognitive Neuroscience and Theories of Reasoning
Gepubliceerd in 2017Onderwerpen: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
169
Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
Gepubliceerd in 2020Onderwerpen: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
170
Reflektierte algorithmische Textanalyse. Interdisziplinäre(s) Arbeiten in der CRETA-Werkstatt
Gepubliceerd in 2020Onderwerpen: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
171
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Gepubliceerd in 2023Onderwerpen: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
172
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Gepubliceerd in 2023Onderwerpen: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
173
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Gepubliceerd in 2021Onderwerpen: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
174
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Gepubliceerd in 2021Onderwerpen: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
175
The Principle of Unrest Activist Philosophy in the Expanded Field
Gepubliceerd in 2017Onderwerpen: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
176
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 2...
Gepubliceerd in 2018Onderwerpen: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
177
Sprachliche Aggression bei Martin Luther Argumentationsformen und -funktionen am Beispiel der Streitschrift Wider das Papsttum zu Rom vom Teufel gestiftet (1545)
Gepubliceerd in 2022Onderwerpen: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronisch Hoofdstuk -
178
The Principle of Unrest Activist Philosophy in the Expanded Field
Gepubliceerd in 2017Onderwerpen: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronisch Hoofdstuk -
179
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Gepubliceerd in 2021Onderwerpen: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronisch E-boek -
180
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Gepubliceerd in 2023Onderwerpen: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Elektronisch E-boek