Hakutulokset - "Logic"
Aihe-ehdotuksia
Aihe-ehdotuksia
- 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
-
41
The Many and the One A Philosophical Study of Plural Logic
Julkaistu 2021Aiheet: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
42
-
43
An Investigation of the Laws of Thought On which are founded the mathematical theories of logic and probabilities
Aiheet: “…Logic, Symbolic and mathematical…”
Hae kokoteksti
Kirja -
44
-
45
-
46
-
47
High Performance Embedded Computing
Julkaistu 2018Aiheet: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
48
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Julkaistu 2016Aiheet: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
49
Dynamic Resource Allocation in Embedded, High-Performance and Cloud Computing
Julkaistu 2016Aiheet: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
50
High Performance Embedded Computing
Julkaistu 2018Aiheet: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
51
Impossible Worlds
Julkaistu 2019Aiheet: “…Epistemic logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
52
Impossible Worlds
Julkaistu 2019Aiheet: “…Epistemic logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
53
-
54
Paul Lorenzen -- Mathematician and Logician
Julkaistu 2021Aiheet: “…Mathematical logic.…”
Link to Metadata
Elektroninen E-kirja -
55
Vorlesungen über Philosophische Logik
Julkaistu 2023Aiheet: “…Mathematical logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
56
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...
Julkaistu 2020Aiheet: “…Mathematical logic.…”
Link to Metadata
Elektroninen E-kirja -
57
The Logical Writings of Karl Popper
Julkaistu 2022Aiheet: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
58
The Logical Writings of Karl Popper
Julkaistu 2022Aiheet: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa -
59
Nuel Belnap on Indeterminism and Free Action
Julkaistu 2014Aiheet: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektroninen Kirjan osa -
60
Nuel Belnap on Indeterminism and Free Action
Julkaistu 2014Aiheet: “…logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektroninen Kirjan osa