Search Results - "logics"
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
-
121
Fading Foundations Probability and the Regress Problem /
Published 2017Subjects: “…Mathematical logic.…”
Link to Metadata
Electronic eBook -
122
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
123
Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
124
Concepts in Action Representation, Learning, and Application /
Published 2021Subjects: “…Logic.…”
Link to Metadata
Electronic eBook -
125
Logica vivente : studio sulla Logik di Christoph Sigwart
Published 2023Subjects: “…Transcendental logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
126
Incapacity Wittgenstein, Anxiety, and Performance Behavior
Published 2014Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
127
Verification-based software-fault detection
Published 2011Subjects: “…Dynamic Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
128
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 -
129
A Primer on Memory Consistency and Cache Coherence, Second Edition
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
130
Incapacity Wittgenstein, Anxiety, and Performance Behavior
Published 2014Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
131
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 -
132
A Primer on Memory Consistency and Cache Coherence, Second Edition
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
133
Cognizione e realtà
Published 2018Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
134
Cognizione e realtà
Published 2018Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
135
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic programming.…”
Link to Metadata
Electronic eBook -
136
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 -
137
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 -
138
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…Mathematical logic.…”
Link to Metadata
Electronic eBook -
139
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…Logic programming.…”
Link to Metadata
Electronic eBook -
140
The Material Theory of Induction
Published 2021Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter