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
-
501
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2020Subjects: “…Mathematical logic.…”
Link to Metadata
Electronic eBook -
502
-
503
-
504
Nuel Belnap on Indeterminism and Free Action
Published 2014Subjects: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
505
Nuel Belnap on Indeterminism and Free Action
Published 2014Subjects: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
506
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Computer logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
507
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Computer logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
508
-
509
-
510
-
511
-
512
-
513
-
514
-
515
Variant Construction from Theoretical Foundation to Applications
Published 2019Table of Contents: “…Introduction -- Variant Logic -- Variant Measurement -- Variant Map -- Variation with Global Functions -- Variant Stream Ciphers -- Quantum Interferences -- Classical/Quantum Cryptographic Sequences -- Whole DNA Sequences -- Multiple Valued Pulse Sequences -- Conclusion -- Bibliography -- Index.…”
Link to Metadata
Electronic eBook -
516
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...
Published 2018Subjects: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
517
-
518
-
519
-
520