Bilaketaren emaitzak - "Logic."
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- 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
-
1
Inquisitive Logic Consequence and Inference in the Realm of Questions /
Argitaratua 2022Gaiak: “...Logic....”
Link to Metadata
Baliabide elektronikoa eBook -
2
Inquisitive Logic Consequence and Inference in the Realm of Questions
Argitaratua 2022Gaiak: “...Philosophy: logic bicssc...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
3
Inquisitive Logic Consequence and Inference in the Realm of Questions
Argitaratua 2022Gaiak: “...Philosophy: logic bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
4
The Logical Writings of Karl Popper
Argitaratua 2022Gaiak: “...Logic....”
Link to Metadata
Baliabide elektronikoa eBook -
5
Advances in Proof-Theoretic Semantics
Argitaratua 2016Gaiak: “...Logic....”
Link to Metadata
Baliabide elektronikoa eBook -
6
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...
Argitaratua 2019Gaiak: “...Logic design....”
Link to Metadata
Baliabide elektronikoa eBook -
7
What Do We Know About the World? Rhetorical and Argumentative Perspectives
Argitaratua 2013Gaiak: “...logic...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
8
Advances in Proof-Theoretic Semantics
Argitaratua 2016Gaiak: “...Logic...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
9
Advances in Proof-Theoretic Semantics
Argitaratua 2016Gaiak: “...Logic...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Baliabide elektronikoa Liburu kapitulua -
10
Practising Comparison
Argitaratua 2016Gaiak: “...Logic...”
DOAB: download the publication
DOAB: description of the publication
Baliabide elektronikoa Liburu kapitulua -
11
-
12
-
13
-
14
-
15
The Mathematical Analysis of Logic Being an Essay Towards a Calculus of Deductive Reasoning
Testu osoa
Liburua -
16
-
17
-
18
-
19
-
20
Reformed Logic A System Based on Berkeley's Philosophy with an Entirely New Method of Dialectic
Testu osoa
Liburua