Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logics"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Showing
241
-
260
of
18,433
Search:
'"logics"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
241
A Proof Theory for Description
Logics
by
Rademaker, Alexandre
Published 2012
Springer London
“
...Description
Logics
(DLs) is a family of formalisms used to represent knowledge of a domain...
”
Read Now
242
Residuated lattices : an algebraic glimpse at substructural logics
by
Galatos, Nikolaos
Published 2007
Elsevier
Table of Contents:
“
... -- Chapter 2. Substructural
logics
and residuated lattices -- Chapter 3. Residuation and structure theory...
”
Call Number:
QA10
Read Now
243
Proof Methods for Modal and Intuitionistic
Logics
by
Fitting, M.
Published 1983
Springer Netherlands
Table of Contents:
“
...One / Background -- Two / Analytic Modal Tableaus and Consistency Properties -- Three /
Logical
...
”
Read Now
244
Description
Logics
in Multimedia Reasoning
by
Sikos, Leslie F.
Published 2017
Springer International Publishing
Table of Contents:
“
... -- Description
Logics
: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based...
”
Read Now
245
Belief Revision in Non-Classical
Logics
by
Ribeiro, Márcio Moretto
Published 2013
Springer London
Table of Contents:
“
...Preface -- Introduction -- Consequence --
Logics
-- Classical Belief Revision -- AGM Contraction...
”
Read Now
246
Non-Standard Inferences in Description
Logics
by
Küsters, Ralf
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects:
“
...Mathematical
Logic
and Formal Languages...
”
Read Now
247
Logics
for Linguistic Structures
by
Hamm, Fritz
Published 2008
Mouton de Gruyter
Read Now
248
Logics
for Computer Science : Classical and Non-Classical
by
Wasilewska, Anita
Published 2018
Springer International Publishing
Table of Contents:
“
...1: Introduction: Paradoxes and Puzzles -- 2: Introduction to Classical
Logic
-- 3: Propositional...
”
Read Now
249
Natural Deduction, Hybrid Systems and Modal
Logics
by
Indrzejczak, Andrzej
Published 2010
Springer Netherlands
Table of Contents:
“
... Deduction -- Survey of Modal
Logics
-- Standard Approach to Basic Modal
Logics
-- Beyond Basic
Logics
...
”
Read Now
250
Logics
and Models of Concurrent Systems
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
...Temporal
logic
-- Using temporal
logic
for automatic verification of finite state systems...
”
Read Now
251
Logics
for Computer and Data Sciences, and Artificial Intelligence
by
Polkowski, Lech T.
Published 2022
Springer International Publishing
Table of Contents:
“
...Propositional
logic
-- First-order
logic
-- Propositional modal
logic
-- Epistemic, default...
”
Read Now
252
Institutional
logics
in action
by
Lounsbury, Michael
Published 2013
Emerald
Table of Contents:
“
...
logics
/ Anne-Claire Pache, Filipe Santos -- Beyond the family firm : reasserting the influence...
”
Call Number:
HM786
Read Now
253
Institutional
logics
in action
by
Lounsbury, Michael
Published 2013
Emerald
Table of Contents:
“
...God, love, and other good reasons for practice : thinking through institutional
logics
/ Roger...
”
Call Number:
HM786
Read Now
254
Many-values
logics
by
Rosser, J. Barkley
Published 1951
Elsevier Science
Table of Contents:
“
... of quantification for many-valued
logics
-- Axiomatization of many-valued predicate calculi -- Quantification...
”
Call Number:
QA9.45
Read Now
255
Many-dimensional modal
logics
: theory and applications
by
Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents:
“
...Part I: Introduction -- Chapter 1. Modal
logic
basics -- Chapter 2. Applied modal
logic
-- Chapter...
”
Call Number:
BC199.M6
Read Now
256
Law and the new
logics
Published 2017
Cambridge University Press
“
.... It brings together scholars from both law and philosophy and looks at the application of 'the new
logics
...
”
Call Number:
K213
Read Now
257
Bounded variable
logics
and counting : a study in finite models
by
Otto, Martin
Published 2016
Cambridge University Press
“
...Lecture notes in
logic
...
”
Call Number:
QA9.7
Read Now
258
Foundations of the
Logical
Theory of Scientific Knowledge (Complex
Logic
)
by
Zinov'ev, A.A.
Published 1973
Springer Netherlands
Table of Contents:
“
...One/the
Logical
Theory of Scientific Knowledge -- Two/Signs -- Three/Terms -- Four/Sentences...
”
Read Now
259
The Semantic Foundations of
Logic
Volume 1: Propositional
Logics
by
Epstein, R.L.
Published 1990
Springer Netherlands
Table of Contents:
“
...The Basic Assumptions of Propositional
Logic
-- Classical Propositional
Logic
- PC - -- Relatedness...
”
Read Now
260
Logic
Program Synthesis and Transformation — Meta-Programming in
Logic
...
by
Fribourg, Laurent
Published 1994
Springer
8
9
10
11
12
13
14
15
16
17
18
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
3,376
004 - Data processing & computer science
2,926
006 - Special computer methods
2,245
621 - Applied physics
1,053
511 - General principles of mathematics
807
658 - General management
701
more ...
620 - Engineering & allied operations
612
330 - Economics
556
160 - Logic
550
500 - Natural sciences & mathematics
461
501 - Philosophy & theory
409
510 - Mathematics
342
331 - Labor economics
303
600 - Technology
294
300 - Social sciences
293
000 - Computer science, information & general works
290
616 - Diseases
270
003 - Systems
256
745 - Decorative arts
240
519 - Probabilities & applied mathematics
204
530 - Physics
198
700 - The arts; fine & decorative arts
197
100 - Philosophy & psychology
191
900 - History & geography
191
320 - Political science
185
629 - Other branches of engineering
176
512 - Algebra
164
610 - Medicine & health
160
333 - Economics of land & energy
154
338 - Production
152
518 - Numerical analysis
141
670 - Manufacturing
138
515 - Analysis
129
302 - Social interaction
128
340 - Law
123
384 - Communications; telecommunication
117
001 - Knowledge
113
120 - Epistemology, causation & humankind
112
370 - Education
108
363 - Other social problems & services
95
380 - Commerce, communications & transportation
95
142 - Critical philosophy
89
374 - Adult education
87
301 - Sociology & anthropology
84
153 - Mental processes & intelligence
83
570 - Life sciences; biology
79
410 - Linguistics
78
306 - Culture & institutions
77
794 - Indoor games of skill
72
617 - Surgery & related medical specialties
69
401 - Philosophy & theory
68
170 - Ethics
67
332 - Financial economics
67
140 - Specific philosophical schools
64
150 - Psychology
63
149 - Other philosophical systems
61
304 - Factors affecting social behavior
61
190 - Modern western philosophy
59
025 - Library operations
55
381 - Commerce
55
576 - Genetics & evolution
49
650 - Management & auxiliary services
49
571 - Physiology & related subjects
48
612 - Human physiology
48
720 - Architecture
47
128 - Humankind
45
551 - Geology, hydrology & meteorology
44
109 - Historical & collected persons treatment
43
400 - Language
43
516 - Geometry
41
303 - Social processes
37
572 - Biochemistry
37
110 - Metaphysics
36
371 - Schools & their activities; special education
34
305 - Social groups
32
580 - Plants (Botany)
32
200 - Religion
31
121 - Epistemology
30
577 - Ecology
30
364 - Criminology
29
615 - Pharmacology & therapeutics
29
800 - Literature & rhetoric
29
781 - General principles & musical forms
28
155 - Differential & developmental psychology
27
910 - Geography & travel
27
327 - International relations
26
514 - Topology
26
541 - Physical chemistry
25
540 - Chemistry & allied sciences
23
780 - Music
23
808 - Rhetoric & collections of literature
23
111 - Ontology
22
180 - Ancient, medieval & eastern philosophy
22
520 - Astronomy & allied sciences
22
613 - Personal health & safety
20
641 - Food & drink
20
664 - Food technology
20
614 - Incidence & prevention of disease
19
539 - Modern physics
18
791 - Public performances
18
see all ...
less ...
Language
English
17,019
German
427
Latin
33
Italian
31
Spanish
20
Undetermined
20
more ...
Portuguese
8
French
5
No linguistic content
5
Slovenian
3
Finnish
2
Swedish
2
Church Slavic
1
Dutch
1
Russian
1
Turkish
1
see all ...
less ...
Collection
Springer eBooks 2005-
7,432
Springer Book Archives -2004
5,546
O'Reilly
2,247
Lecture Notes in Computer Science
649
Directory of Open Access Books
538
Cambridge Books Online
300
more ...
Elsevier eBook collection Mathematics
199
Eighteenth Century Collections Online / ECCO
189
Oxford University Press
183
JSTOR Open Access Books
144
Springer Lecture Notes Archiv 1964-1996
143
IEEE Conference Proceedings
111
OAPEN
110
MIT Press eBook Archive
97
DeGruyter MPG Collection
93
Emerald Business, Management and Economics eBook Collection Archive
73
World Bank E-Library Archive
49
Edward Elgar eBooks Collection Business & Economics
44
Edward Elgar eBook Archive
43
National Center for Biotechnology Information
28
Elsevier ScienceDirect eBooks
27
OECD Books and Papers
25
International Monetary Fund
18
IEEE Standards
16
Making of Modern Law / Legal Treatises
16
Netlibrary
16
Oxford Handbook Online
12
RSC eBook Collection 1968-2009
11
Wiley Online Books
9
Making of the Modern World
7
Nomos
7
Digi20
6
Editoria Italiana Online
5
SPIE Conference Proceedings
5
Henry Stewart Talks
4
JSTOR Books
4
Lecture Notes in Mathematics
4
wiso-net eBooks
4
Central European UP History & Political Science Backlist
3
Duncker & Humblot eBooks 2007-
3
Elsevier Handbooks in Economics
3
Bloomsbury Education and Childhood Studies
2
Social Theory (Alexander Street Press)
2
Anthropology Online
1
Karger eBooks Collection 1997-2013
1
Making of Modern Law / Primary Sources
1
Music Online Reference
1
Springer Protocols Archive 1981-2004
1
see all ...
less ...
Author
Rozenberg, Grzegorz
64
Gabbay, Dov M.
60
Watts, Isaac
45
Castillo, Oscar
43
Voronkov, Andrei
38
Melin, Patricia
37
more ...
Cohen, Robert S.
35
Kacprzyk, Janusz
35
Ehrig, Hartmut
33
Hintikka, Jaakko
29
Steffen, Bernhard
29
Pedrycz, Witold
28
SpringerLink (Online service)
28
Nerode, Anil
25
Margaria, Tiziana
24
Broy, Manfred
23
Guenthner, Franz
22
Yager, Ronald R.
22
Abraham, Ajith
21
Dongarra, Jack
21
Börger, Egon
20
Löwe, Benedikt
20
Tymieniecka, Anna-Teresa
20
Salomaa, Arto
19
Wirsing, Martin
19
Gelbukh, Alexander
17
Martín-Vide, Carlos
17
Skowron, Andrzej
17
Thalheim, Bernhard
17
Balas, Valentina Emilia
16
Bowen, Jonathan P.
16
Dastani, Mehdi
16
Husserl, Edmund
16
Kruse, Rudolf
16
Peters, James F.
16
United States Agency for Healthcare Research and Quality
16
Beattie, James
15
Filipe, Joaquim
15
Graf, Susanne
15
Liu, Zhiming
15
Ras, Zbigniew W.
15
Rossi, Francesca
15
Schewe, Klaus-Dieter
15
Wang, Wei
15
Möller, Bernhard
14
Potapov, Igor
14
Reisig, Wolfgang
14
Wartofsky, Marx W.
14
Bansal, Jagdish Chand
13
Bernardo, Marco
13
Dix, Jürgen
13
Drechsler, Rolf
13
Gorrieri, Roberto
13
Gottlob, Georg
13
Hanus, Michael
13
Jain, Lakhmi C.
13
Jantke, Klaus P.
13
Katoen, Joost-Pieter
13
LaMeres, Brock J.
13
Satoh, Ken
13
Woodcock, Jim
13
de Queiroz, Ruy
13
Association for Symbolic Logic
12
Bjørner, Dines
12
Bonsangue, Marcello M.
12
Kahraman, Cengiz
12
Levi, Giorgio
12
Liang, Qilian
12
Liu, Shaoying
12
Montanari, Ugo
12
Nipkow, Tobias
12
Pant, Millie
12
Paun, Gheorghe
12
Reusch, Bernd
12
Rudolph, Larry
12
Tjoa, A Min
12
World Bank Group
12
Ölveczky, Peter Csaba
12
Bennett, Gary
11
Butts, Robert E.
11
Deep, Kusum
11
Duan, Zhenhua
11
Gervasi, Osvaldo
11
Gibbons, Jeremy
11
Hermanns, Holger
11
Karhumäki, Juhani
11
Lees, Brad
11
Meinke, Karl
11
Nguyen, Ngoc Thanh
11
Packt Publishing
11
Palamidessi, Catuscia
11
Richter, Michael M.
11
Saraswat, Mukesh
11
Suppes, Patrick
11
Wansing, Heinrich
11
Wolenski, Jan
11
Zimmermann, Hans-Jürgen
11
Adamatzky, Andrew
10
Ali, Moonis
10
Apt, Krzysztof R.
10
see all ...
less ...
Recently Uploaded
Last Month
53
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=13&lookfor=%22logics%22&type=AllFields
Send by Email
×
Loading...