Arama Sonuçları - "logic"
Önerilen Konular
Önerilen Konular
- 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
-
801
Computational Cognitive Modeling and Linguistic Theory
Baskı/Yayın Bilgisi 2020Konular: “…Incremental Dynamic Predicate Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
802
Paul Lorenzen -- Mathematician and Logician
Baskı/Yayın Bilgisi 2021Konular: “…Game Semantics for Substructural Logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
803
Landscapes of Care Immigration and Health in Rural America
Baskı/Yayın Bilgisi 2023Konular: “…spatial logics of health…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
804
Landscapes of Care Immigration and Health in Rural America
Baskı/Yayın Bilgisi 2023Konular: “…spatial logics of health…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
805
Langage, discours, pensée Leçon inaugurale prononcée le jeudi 12 décembre 2019
Baskı/Yayın Bilgisi 2020Konular: “…Analytical philosophy & Logical Positivism bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
806
Urban Operating Systems Producing the Computational City
Baskı/Yayın Bilgisi 2020Konular: “…logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
807
Nucleic Acid Architectures for Therapeutics, Diagnostics, Devices and Materials
Baskı/Yayın Bilgisi 2019Konular: “…RNA logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
808
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
809
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
810
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Baskı/Yayın Bilgisi 2021Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
811
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
Baskı/Yayın Bilgisi 2022Konular: “…Logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
812
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II
Baskı/Yayın Bilgisi 2021Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
813
Die Schönheit des Denkens Mathematisierung der Wahrnehmung am Beispiel der Computational Neurosciences
Baskı/Yayın Bilgisi 2022Konular: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
814
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,...
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
815
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Baskı/Yayın Bilgisi 2022Konular: “…Computer architecture & logic design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
816
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
817
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,...
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
818
Supercomputing Frontiers 7th Asian Conference, SCFA 2022, Singapore, March 1-3, 2022, Proceedings
Baskı/Yayın Bilgisi 2022Konular: “…Computer architecture & logic design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
819
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Baskı/Yayın Bilgisi 2022Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
820
Organisierte Zerrissenheit Emotionsregimes und Interaktionsarbeit in Pflege und Weiterbildung
Baskı/Yayın Bilgisi 2023Konular: “…Business Logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü