Search Results - "logic"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 94
- Philosophy 93
- Computer science 87
- Software Engineering 81
- Humanities 64
- History of engineering & technology 59
- Society & social sciences 55
- Philosophy: logic 51
- Technology: general issues 48
- Mathematical theory of computation 47
- Computer programming / software development 46
- Computer networking & communications 38
- Mathematics 38
- Research & information: general 38
- Computer architecture & logic design 36
- Algorithms & data structures 34
- Social & cultural anthropology, ethnography 34
- Media studies 32
- Neurosciences 30
- Sociology 29
- Politics & government 28
- Systems analysis & design 27
- Education 26
- Philosophy: epistemology & theory of knowledge 26
- Software engineering 26
- Anthropology 25
- History 25
- Logic 24
- Philosophy of science 24
- Artificial Intelligence 23
-
841
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 -
842
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic in AI…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
843
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 -
844
Selected Papers from IEEE ICKII 2018
Published 2019Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
845
Religion and Theatrical Drama
Published 2021Subjects: “…triadic logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
846
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 -
847
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
848
Memristive Devices and Systems: Modelling, Properties & Applications
Published 2023Subjects: “…multi-valued logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
849
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 -
850
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 -
851
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 -
852
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 -
853
Magnetic and Spin Devices, Volume II
Published 2023Subjects: “…magnetic logic devices…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
854
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 -
855
GI for Disaster Management
Published 2020Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
856
Symmetry in Modeling and Analysis of Dynamic Systems
Published 2022Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
857
Computational Intelligence Application in Electrical Engineering
Published 2022Subjects: “…fuzzy logic control…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
858
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 -
859
Fuzzy Sets in Business Management, Finance, and Economics
Published 2022Subjects: “…Fuzzy Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
860
Discrete Mathematics and Symmetry
Published 2020Subjects: “…logical conjunction operation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter