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
-
361
Landscapes of Care Immigration and Health in Rural America
Published 2023Subjects: “…spatial logics of health…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
362
Landscapes of Care Immigration and Health in Rural America
Published 2023Subjects: “…spatial logics of health…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
363
Langage, discours, pensée Leçon inaugurale prononcée le jeudi 12 décembre 2019
Published 2020Subjects: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
364
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
365
Unmanned Aerial Vehicles Platforms, Applications, Security and Services
Published 2020Subjects: “…BAN logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
366
Biosensors: 10th Anniversary Feature Papers
Published 2022Subjects: “…enzyme-logic gate…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
367
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2021Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
368
Contemporary Natural Philosophy and Philosophies - Part 1
Published 2019Subjects: “…the logic of nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
369
Communicative Figurations Transforming Communications in Times of Deep Mediatization
Published 2018Subjects: “…media logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
370
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 -
371
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
372
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
373
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
374
Selected Papers from IEEE ICKII 2018
Published 2019Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
375
Religion and Theatrical Drama
Published 2021Subjects: “…triadic logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
376
Food Supply Chain through Ongoing Evolution: Lessons from Continuous Transformations
Published 2022Subjects: “…collective action theory of logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
377
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
378
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
379
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
380
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
Published 2020Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter