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
-
241
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /
Published 2022Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
242
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published 2023Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
243
The Intellectual and Cultural Origins of Chaïm Perelman and Lucie Olbrechts-Tyteca's New Rhetoric Project Commentaries On and Translations of Seven Foundational Articles, 1933-195...
Published 2023Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
244
Social Media in Trinidad Values and Visibility
Published 2017Subjects: “…carnival logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
245
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
246
Sprachliche Aggression bei Martin Luther Argumentationsformen und -funktionen am Beispiel der Streitschrift Wider das Papsttum zu Rom vom Teufel gestiftet (1545)
Published 2022Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
247
Social Media in Trinidad Values and Visibility
Published 2017Subjects: “…carnival logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
248
Sprachliche Aggression bei Martin Luther Argumentationsformen und -funktionen am Beispiel der Streitschrift Wider das Papsttum zu Rom vom Teufel gestiftet (1545)
Published 2022Subjects: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
249
The Intellectual and Cultural Origins of Chaïm Perelman and Lucie Olbrechts-Tyteca's New Rhetoric Project Commentaries On and Translations of Seven Foundational Articles, 1933-1958...
Published 2023Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
250
Chapter A structural equation model to measure logical competences
Published 2021Subjects: “…Logical abilities…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
251
Chapter A structural equation model to measure logical competences
Published 2021Subjects: “…Logical abilities…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
252
Chapter Digital All-Optical Physical-Layer Network Coding
Published 2018Subjects: “…all-optical physical-layer network coding (AOPNC), radio over fiber (ROF), millimeter wave communication, optical logic gates, semiconductor optical amplifier-Mach Zehnder interferometer (SOA-MZI)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
253
Chapter Digital All-Optical Physical-Layer Network Coding
Published 2018Subjects: “…all-optical physical-layer network coding (AOPNC), radio over fiber (ROF), millimeter wave communication, optical logic gates, semiconductor optical amplifier-Mach Zehnder interferometer (SOA-MZI)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
254
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
255
Thoughts and Ways of Thinking Source Theory and Its Applications
Published 2017Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
256
Communicative Figurations Transforming Communications in Times of Deep Mediatization
Published 2018Subjects: “…media logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
257
Thoughts and Ways of Thinking Source Theory and Its Applications
Published 2017Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
258
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2018Subjects: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electronic eBook -
259
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...
Published 2018Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
260
New Trends in Fuzzy Set Theory and Related Items
Published 2018Subjects: “…Fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter