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
-
1301
-
1302
-
1303
-
1304
-
1305
-
1306
-
1307
-
1308
A Cool Brisk Walk Through Discrete Mathematics
Published 2023Table of Contents: “…Meetup at the trailhead -- Sets -- Relations -- Probabiltiy -- Structures -- Counting -- Numbers -- Logic -- Proof…”
Access online version
Electronic eBook -
1309
Media Freedom and Pluralism
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1310
Galen's Institutio Logica English Translation, Introduction, and Commentary
Published 1964DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1311
-
1312
Intercultural values on School System The Italian case
Published 2015Connect to this object online.
Book -
1313
-
1314
-
1315
-
1316
-
1317
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2023Table of Contents: “…When Programs Have to Watch Paint Dry -- Deciding contextual equivalence of nu-calculus with effectful contexts -- Kantorovich Functors and Characteristic Logics for Behavioural Distances -- A Logical Framework with Higher-Order Rational (Circular) Terms -- A Higher-Order Language for Markov Kernels and Linear Operators -- A Formal Logic for Formal Category Theory -- A Strict Constrained Superposition Calculus for Graphs -- A programming language characterizing quantum polynomial time -- On the Existential Arithmetics with Addition and Bitwise Minimum -- Coverability in 2-VASS with One Unary Counter is in NP -- On History-Deterministic One-Counter Nets -- Unboundedness problems for machines with reversal-bounded counters -- Reverse Bisimilarity vs. …”
Link to Metadata
Electronic eBook -
1318
-
1319
-
1320