Arama Sonuçları - "logics"
Önerilen Konular
Önerilen Konular
- 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
-
81
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Baskı/Yayın Bilgisi 2021Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
82
Nuel Belnap on Indeterminism and Free Action
Baskı/Yayın Bilgisi 2014Konular: “…Logic.…”
Link to Metadata
Elektronik Ekitap -
83
The Rise of Informal Logic
Baskı/Yayın Bilgisi 2014Konular: “…Informal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
84
Course notes on finite games and rational choice
Baskı/Yayın Bilgisi 2018Konular: “…Philosophy: logic bicssc…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
85
Chapter A structural equation model to measure logical competences
Baskı/Yayın Bilgisi 2021Konular: “…Logical abilities…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
86
Chapter Measuring logical competences and soft skills when enrolling in a university degree course
Baskı/Yayın Bilgisi 2021Konular: “…studentes' logical abilities…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
87
Mathematical Aspects of Logic Programming Semantics
Baskı/Yayın Bilgisi 2010Konular: “…Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
88
Course notes on finite games and rational choice
Baskı/Yayın Bilgisi 2018Konular: “…Philosophy: logic bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
89
Chapter Measuring logical competences and soft skills when enrolling in a university degree course
Baskı/Yayın Bilgisi 2021Konular: “…studentes' logical abilities…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
90
Chapter A structural equation model to measure logical competences
Baskı/Yayın Bilgisi 2021Konular: “…Logical abilities…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
91
Variant Construction from Theoretical Foundation to Applications
Baskı/Yayın Bilgisi 2019Konular: “…Logic design…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
92
Variant Construction from Theoretical Foundation to Applications
Baskı/Yayın Bilgisi 2019Konular: “…Logic design…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
93
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...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
94
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...
Baskı/Yayın Bilgisi 2018Konular: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
95
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…modal logic…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
96
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
97
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...
Baskı/Yayın Bilgisi 2021Konular: “…Logic programming.…”
Link to Metadata
Elektronik Ekitap -
98
Modalities, Identity, Belief, and Moral Dilemmas: Themes from Barcan Marcus
Baskı/Yayın Bilgisi 2015Konular: “…Modal logic…”
DOAB: description of the publication
Elektronik Kitap Bölümü -
99
Logischer Empirismus, Lebensreform und die deutsche Jugendbewegung Logical Empiricism, Life Reform, and the German Youth Movement
Baskı/Yayın Bilgisi 2022Konular: “…Logical Empircism…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
100
Chapter Ruth Barcan Marcus on Believing Without a Language
Baskı/Yayın Bilgisi 2015Konular: “…Modal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü