Limit Search Results
Author
SpringerLink (Online service)
(151)
Bjørner, Dines. author.
(3)
Baldoni, Matteo. editor.
(2)
Crnkovic, Ivica. editor.
(2)
Endriss, Ulle. editor.
(2)
Language
Subject
Computer science.
(100)
Computer Science Logic and Foundations of Programming.
(88)
Software engineering.
(68)
Compilers (Computer programs).
(52)
Compilers and Interpreters.
(52)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
152 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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.
2. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
by 
Rautenberg, Wolfgang. author.
https://doi.org/10.1007/0-387-34241-9
Format: 
Excerpt: 
A Concise Introduction to Mathematical Logic Rautenberg, Wolfgang. author.
3. 
Cover image for Fuzzy Logic Applications in Engineering Science
Fuzzy Logic Applications in Engineering Science
by 
Harris, J. author.
https://doi.org/10.1007/1-4020-4078-4
Format: 
Excerpt: 
Fuzzy Logic Applications in Engineering Science Harris, J. author.
4. 
Cover image for Computation Engineering Applied Automata Theory and Logic
Computation Engineering Applied Automata Theory and Logic
by 
Gopalakrishnan, Ganesh. author.
https://doi.org/10.1007/0-387-32520-4
Format: 
Excerpt: 
Computation Engineering Applied Automata Theory and Logic / Gopalakrishnan, Ganesh. author.
5. 
Cover image for Advanced Fuzzy Logic Technologies in Industrial Applications
Advanced Fuzzy Logic Technologies in Industrial Applications
by 
Bai, Ying. editor.
https://doi.org/10.1007/978-1-84628-469-4
Format: 
Excerpt: 
Advanced Fuzzy Logic Technologies in Industrial Applications Bai, Ying. editor.
6. 
Cover image for Integration of Fuzzy Logic and Chaos Theory
Integration of Fuzzy Logic and Chaos Theory
by 
Li, Zhong. editor.
https://doi.org/10.1007/3-540-32502-6
Format: 
Excerpt: 
Integration of Fuzzy Logic and Chaos Theory Li, Zhong. editor.
7. 
Cover image for The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
by 
van Benthem, Johan. editor.
https://doi.org/10.1007/978-1-4020-5012-7
Format: 
Excerpt: 
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today / van Benthem
8. 
Cover image for Signs of Logic Peircean Themes on the Philosophy of Language, Games, and Communication
Signs of Logic Peircean Themes on the Philosophy of Language, Games, and Communication
by 
Pietarinen, Ahti-Veikko. author.
https://doi.org/10.1007/1-4020-3729-5
Format: 
Excerpt: 
Signs of Logic Peircean Themes on the Philosophy of Language, Games, and Communication / Pietarinen
9. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings
by 
Hermann, Miki. editor.
https://doi.org/10.1007/11916277
Format: 
Excerpt: 
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR
10. 
Cover image for Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
by 
Bloch, Isabelle. editor.
https://doi.org/10.1007/11676935
Format: 
Excerpt: 
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17
11. 
Cover image for Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
by 
Hagiya, Masami. editor.
https://doi.org/10.1007/11737414
Format: 
Excerpt: 
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April
12. 
Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
by 
Hnich, Brahim. editor.
https://doi.org/10.1007/11754602
Format: 
Excerpt: 
and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and
Select an Action