Resultados de búsqueda - "Logic"
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- 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
-
201
Chapter A structural equation model to measure logical competences
Publicado 2021Materias: “…Logical abilities…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
202
Numinous Subjects Engendering the Sacred in Western Culture, An Essay
Publicado 2007Materias: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
203
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 20...
Publicado 2018Materias: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
204
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 20...
Publicado 2018Materias: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
205
Numinous Subjects Engendering the Sacred in Western Culture, An Essay
Publicado 2007Materias: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
206
Polish Media System in a Comparative Perspective Media in Politics, Politics in Media
Publicado 2019Materias: “…media logic…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
207
Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg August 26 to 30, 2014
Publicado 2020Materias: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
208
Polish Media System in a Comparative Perspective Media in Politics, Politics in Media
Publicado 2019Materias: “…media logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
209
Reverberations of Dharmakīrti's Philosophy: Proceedings of the Fifth International Dharmakīrti Conference Heidelberg August 26 to 30, 2014
Publicado 2020Materias: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
210
Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung Logical Empiricism, Life Reform, and the German Youth Movement
Publicado 2022Materias: “…Logical Empircism…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
211
Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung Logical Empiricism, Life Reform, and the German Youth Movement
Publicado 2022Materias: “…Logical Empircism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
212
Wittgensteins «Bemerkungen ueber die Farben»
Publicado 2015Materias: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
213
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
Publicado 2016Materias: “…Logic programing…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
214
The Art of Abduction
Publicado 2022Materias: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
215
Wittgensteins «Bemerkungen ueber die Farben»
Publicado 2015Materias: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
216
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Publicado 2021Materias: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
217
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I
Publicado 2021Materias: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
218
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Publicado 2021Materias: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electrónico Capítulo de libro -
219
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Publicado 2021Materias: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrónico Capítulo de libro -
220
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /
Publicado 2021Materias: “…Computer Science Logic and Foundations of Programming.…”
Link to Metadata
Electrónico eBook