Limit Search Results
Author
SpringerLink (Online service)
(409)
Voronkov, Andrei. editor.
(11)
Torroni, Paolo. editor.
(6)
Dastani, Mehdi. editor. (orcid)0000-0002-4641-4087
(5)
Gabbay, Dov M. author.
(5)
Language
Publication Date
-
2011
(54)
2006
(45)
2012
(45)
2013
(42)
2005
(41)
Subject
Computer science.
(308)
Computer Science Logic and Foundations of Programming.
(280)
Formal Languages and Automata Theory.
(261)
Machine theory.
(261)
Software engineering.
(183)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
409 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Dynamic Epistemic Logic
Dynamic Epistemic Logic
by 
van Ditmarsch, Hans. author.
https://doi.org/10.1007/978-1-4020-5839-4
Format: 
Excerpt: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
2. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
by 
Doberkat, Ernst-Erich. author.
https://doi.org/10.1007/978-3-642-02995-0
Format: 
Excerpt: 
Stochastic Coalgebraic Logic Doberkat, Ernst-Erich. author.
3. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
by 
Belohlávek, Radim. author.
https://doi.org/10.1007/b105121
Format: 
Excerpt: 
Fuzzy Equational Logic Belohlávek, Radim. author.
4. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
by 
Tanaka, Koji. editor.
https://doi.org/10.1007/978-94-007-4438-7
Format: 
Excerpt: 
Paraconsistency: Logic and Applications Tanaka, Koji. editor.
5. 
Cover image for Probabilistic Inductive Logic Programming
Probabilistic Inductive Logic Programming
by 
De Raedt, Luc. editor.
https://doi.org/10.1007/978-3-540-78652-8
Format: 
Excerpt: 
Probabilistic Inductive Logic Programming De Raedt, Luc. editor.
6. 
Cover image for Rigid Flexibility The Logic of Intelligence
Rigid Flexibility The Logic of Intelligence
by 
Wang, Pei. author.
https://doi.org/10.1007/1-4020-5045-3
Format: 
Excerpt: 
Rigid Flexibility The Logic of Intelligence / Wang, Pei. author.
7. 
Cover image for Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB
by 
Sivanandam, S.N. author.
https://doi.org/10.1007/978-3-540-35781-0
Format: 
Excerpt: 
Introduction to Fuzzy Logic using MATLAB Sivanandam, S.N. author.
8. 
Cover image for Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control
by 
Espinosa Oviedo, Jairo Jose. author.
https://doi.org/10.1007/b138626
Format: 
Excerpt: 
Fuzzy Logic, Identification and Predictive Control Espinosa Oviedo, Jairo Jose. author.
9. 
Cover image for Linguistic Fuzzy Logic Methods in Social Sciences
Linguistic Fuzzy Logic Methods in Social Sciences
by 
Arfi, Badredine. author.
https://doi.org/10.1007/978-3-642-13343-5
Format: 
Excerpt: 
Linguistic Fuzzy Logic Methods in Social Sciences Arfi, Badredine. author.
10. 
Cover image for Quantitative Logic and Soft Computing Vol 2
Quantitative Logic and Soft Computing Vol 2
by 
Cao, Bing-Yuan. editor.
https://doi.org/10.1007/978-3-642-15660-1
Format: 
Excerpt: 
Quantitative Logic and Soft Computing Vol 2 / Cao, Bing-Yuan. editor.
11. 
Cover image for Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
by 
Kolman, Eyal. author.
https://doi.org/10.1007/978-3-540-88077-6
Format: 
Excerpt: 
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach Kolman, Eyal. author.
12. 
Cover image for Type-2 Fuzzy Logic: Theory and Applications
Type-2 Fuzzy Logic: Theory and Applications
by 
Castillo, Oscar. author.
https://doi.org/10.1007/978-3-540-76284-3
Format: 
Excerpt: 
Type-2 Fuzzy Logic: Theory and Applications Castillo, Oscar. author.
Select an Action