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
-
101
Concepts in Action Representation, Learning, and Application /
Published 2021Subjects: “…Logic.…”
Link to Metadata
Electronic eBook -
102
Logica vivente : studio sulla Logik di Christoph Sigwart
Published 2023Subjects: “…Transcendental logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
Incapacity Wittgenstein, Anxiety, and Performance Behavior
Published 2014Subjects: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
104
Verification-based software-fault detection
Published 2011Subjects: “…Dynamic Logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
105
A Primer on Memory Consistency and Cache Coherence, Second Edition
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
106
Incapacity Wittgenstein, Anxiety, and Performance Behavior
Published 2014Subjects: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
107
A Primer on Memory Consistency and Cache Coherence, Second Edition
Published 2020Subjects: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
Cognizione e realtà
Published 2018Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
109
Cognizione e realtà
Published 2018Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
110
Knowledge Graphs and Big Data Processing
Published 2020Subjects: “…Logic programming.…”
Link to Metadata
Electronic eBook -
111
Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2022Subjects: “…Mathematical logic.…”
Link to Metadata
Electronic eBook -
112
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2022Subjects: “…Logic programming.…”
Link to Metadata
Electronic eBook -
113
The Material Theory of Induction
Published 2021Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
114
The Material Theory of Induction
Published 2021Subjects: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
115
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
Published 2020Subjects: “…Logic design.…”
Link to Metadata
Electronic eBook -
116
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Published 2017Subjects: “…First-order logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
117
Chapter Dynamic Dispatch for Method Contracts Through Abstract Predicates
Published 2017Subjects: “…First-order logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
118
Logic and Computation
Published 2023Subjects: “…strategic logics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
119
Chapter Genetic Algorithm Optimization of an Energy Storage System Design and Fuzzy Logic Supervision for Battery Electric Vehicles
Published 2016Subjects: “…Genetic algorithm optimization, battery electric vehicle, fuzzy logic, ultracapacitor, electrochemical battery…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
120
Zeit in Gesetzen erfasst - G. W. F. Hegels Theorie der Kodifikation.
Published 2021Subjects: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter