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
-
381
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 -
382
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 -
383
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 -
384
Magnetic and Spin Devices, Volume II
Published 2023Subjects: “…magnetic logic devices…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
385
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 -
386
GI for Disaster Management
Published 2020Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
387
Symmetry in Modeling and Analysis of Dynamic Systems
Published 2022Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
388
Computational Intelligence Application in Electrical Engineering
Published 2022Subjects: “…fuzzy logic control…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
389
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 -
390
Fuzzy Sets in Business Management, Finance, and Economics
Published 2022Subjects: “…Fuzzy Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
391
Frontiers in Hybrid Vehicles Powertrain
Published 2023Subjects: “…torque allocation control logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
392
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
393
Hydrothermal Technology in Biomass Utilization & Conversion
Published 2020Subjects: “…fuzzy logic cognitive map…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
394
Contemporary Natural Philosophy and Philosophies - Part 2
Published 2020Subjects: “…logic in reality…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
395
Smart Sensing Technologies for Personalised Coaching
Published 2021Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
396
Edge/Fog Computing Technologies for IoT Infrastructure
Published 2021Subjects: “…fuzzy logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
397
Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,...
Published 2020Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
398
Time Travel
Published 2022Subjects: “…logical possibility…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
399
10th Anniversary of <em>Axioms</em>: Logic
Published 2023Subjects: “…multi-valued logic trees…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
400
Algorithms in Decision Support Systems
Published 2021Subjects: “…Boolean logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter