Limit Search Results
Author
SpringerLink (Online service)
(160)
Jacko, Julie A. editor.
(4)
Liu, Zhiming. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Bonsangue, Marcello M. editor.
(2)
Language
Subject
Computer science.
(113)
Computer Science Logic and Foundations of Programming.
(104)
Software engineering.
(84)
Formal Languages and Automata Theory.
(53)
Machine theory.
(53)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
160 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Handbook of Philosophical Logic Volume 14
Handbook of Philosophical Logic Volume 14
by 
Gabbay, Dov M. editor.
https://doi.org/10.1007/978-1-4020-6324-4
Format: 
Excerpt: 
Handbook of Philosophical Logic Volume 14 / Gabbay, Dov M. editor.
2. 
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.
3. 
Cover image for Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers
by 
Inoue, Katsumi. editor.
https://doi.org/10.1007/978-3-540-69619-3
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan
4. 
Cover image for Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers
Recent Advances in Constraints 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers
by 
Azevedo, Francisco. editor.
https://doi.org/10.1007/978-3-540-73817-6
Format: 
Excerpt: 
Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited
5. 
Cover image for Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
by 
Dahl, Verónica. editor.
https://doi.org/10.1007/978-3-540-74610-2
Format: 
Excerpt: 
Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007
6. 
Cover image for Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings
by 
Baral, Chitta. editor.
https://doi.org/10.1007/978-3-540-72200-7
Format: 
Excerpt: 
Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ
7. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
by 
Dershowitz, Nachum. editor.
https://doi.org/10.1007/978-3-540-75560-9
Format: 
Excerpt: 
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR
8. 
Cover image for Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, Junw 18-21, 2007, Proceedings
by 
Melin, Patricia. editor.
https://doi.org/10.1007/978-3-540-72950-1
Format: 
Excerpt: 
Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World
9. 
Cover image for Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
by 
Muggleton, Stephen. editor.
https://doi.org/10.1007/978-3-540-73847-3
Format: 
Excerpt: 
Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain
10. 
Cover image for Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings
Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings
by 
Masulli, Francesco. editor.
https://doi.org/10.1007/978-3-540-73400-0
Format: 
Excerpt: 
Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF
11. 
Cover image for Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
by 
Cate, Balder D. ten. editor.
https://doi.org/10.1007/978-3-540-75144-1
Format: 
Excerpt: 
Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and
12. 
Cover image for Mathematical Problems from Applied Logic II Logics for the XXIst Century
Mathematical Problems from Applied Logic II Logics for the XXIst Century
by 
Gabbay, Dov. editor.
https://doi.org/10.1007/978-0-387-69245-6
Format: 
Excerpt: 
Mathematical Problems from Applied Logic II Logics for the XXIst Century / Gabbay, Dov. editor.
Select an Action