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
-
221
Wirklichkeit oder Konstruktion? Sprachtheoretische und interdisziplinäre Aspekte einer brisanten Alternative
Published 2018Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
222
Inquisitive Semantics
Published 2018Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
223
Dialogare: compendio di logica
Published 2017Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
224
Wirklichkeit oder Konstruktion? Sprachtheoretische und interdisziplinäre Aspekte einer brisanten Alternative
Published 2018Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
225
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
226
Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl
Published 2022Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
227
Rudolf Carnap, Tagebücher. Band 1. 1908-1919: Herausgegeben von Christian Damböck, unter Mitarbeit von Brigitta Arden, Roman Jordan, Brigitte Parakenings und Lois M. Rendl
Published 2022Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
228
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Published 2023Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
229
Paul Lorenzen -- Mathematician and Logician
Published 2021Subjects: “…Game Semantics for Substructural Logics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
230
Paul Lorenzen -- Mathematician and Logician
Published 2021Subjects: “…Game Semantics for Substructural Logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
231
Ethik und Moral im Wiener Kreis Zur Geschichte eines engagierten Humanismus
Published 2014Subjects: “…logical empiricism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
232
Syntax of Dutch Nouns and Noun Phrases - Volume 2
Published 2012Subjects: “…Quantifier (logic)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
233
Peirce's Twenty-Eight Classes of Signs and the Philosophy of Representation Rhetoric, Interpretation and Hexadic Semiosis
Published 2016Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
234
Die Begründung des Realen Hegels "Logik" im Kontext der Realitätsdebatte um 1800
Published 2021Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
235
Peirce's Twenty-Eight Classes of Signs and the Philosophy of Representation Rhetoric, Interpretation and Hexadic Semiosis
Published 2016Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
236
Syntax of Dutch Nouns and Noun Phrases - Volume 2
Published 2012Subjects: “…Quantifier (logic)…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
237
Die Begründung des Realen Hegels "Logik" im Kontext der Realitätsdebatte um 1800
Published 2021Subjects: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
238
Type-Logical Syntax
Published 2020Subjects: “…Type-Logical Grammar…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
239
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
240
Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
Published 2022Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter