खोज परिणाम - "logic"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- 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
-
321
Der junge Carnap in historischem Kontext: 1918-1935 / Young Carnap in an Historical Context: 1918-1935
प्रकाशित 2021विषय: “…The Logical Structure of the World…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
322
Translations of Security A Framework for the Study of Unwanted Futures
प्रकाशित 2022विषय: “…security logics…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
323
Filosofia e tecnologia Una via di uscita dalla mente digitale
प्रकाशित 2022विषय: “…logical-cognitive value…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
324
Der junge Carnap in historischem Kontext: 1918-1935 / Young Carnap in an Historical Context: 1918-1935
प्रकाशित 2021विषय: “…The Logical Structure of the World…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
325
Translations of Security A Framework for the Study of Unwanted Futures
प्रकाशित 2022विषय: “…security logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
326
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
प्रकाशित 2022विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
327
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
प्रकाशित 2022विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
328
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
प्रकाशित 2021विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
329
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
प्रकाशित 2022विषय: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
330
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
प्रकाशित 2021विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
331
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
प्रकाशित 2022विषय: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
332
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
प्रकाशित 2022विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
333
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
प्रकाशित 2022विषय: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
334
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
प्रकाशित 2022विषय: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
335
Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...
प्रकाशित 2022विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
336
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
प्रकाशित 2022विषय: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
337
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
प्रकाशित 2022विषय: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
338
Einstein vs. Bergson An Enduring Quarrel on Time
प्रकाशित 2021विषय: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
339
Einstein vs. Bergson An Enduring Quarrel on Time
प्रकाशित 2021विषय: “…Analytical philosophy & Logical Positivism bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
340
Organisierte Zerrissenheit Emotionsregimes und Interaktionsarbeit in Pflege und Weiterbildung
प्रकाशित 2023विषय: “…Business Logic…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय