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
-
381
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 -
382
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
383
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 -
384
Selected Papers from IEEE ICKII 2018
Published 2019Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
385
Religion and Theatrical Drama
Published 2021Subjects: “…triadic logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
386
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 -
387
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
388
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
389
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 -
390
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 -
391
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II
Published 2020Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
392
Multispectral and Hyperspectral Remote Sensing Data for Mineral Exploration and Environmental Monitoring of Mined Areas
Published 2021Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
393
Discrete Mathematics and Symmetry
Published 2020Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
394
Fuzzy Sets, Fuzzy Logic and Their Applications 2020
Published 2021Subjects: “…fuzzy logic (FL)…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
395
Magnetic and Spin Devices, Volume II
Published 2023Subjects: “…magnetic logic devices…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
396
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
397
GI for Disaster Management
Published 2020Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
398
Symmetry in Modeling and Analysis of Dynamic Systems
Published 2022Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
399
Computational Intelligence Application in Electrical Engineering
Published 2022Subjects: “…fuzzy logic control…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
400
Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2021Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter