Limit Search Results
Author
SpringerLink (Online service)
(84)
Maciaszek, Leszek A. editor.
(4)
Baroglio, Cristina. editor.
(2)
Dix, Jürgen. editor.
(2)
Filipe, Joaquim. editor.
(2)
Language
Publication Date
-
Subject
Computer and Information Systems Applications.
(84)
Computer science.
(80)
Computer Science Logic and Foundations of Programming.
(76)
Software engineering.
(60)
Computer networks .
(49)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
Knowledge Representation for Health Care 6th International Workshop, KR4HC 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers
by 
Miksch, Silvia. editor.
https://doi.org/10.1007/978-3-319-13281-5
Format: 
Excerpt: 
the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 21, 2014. Revised Selected Papers / Miksch
2. 
Cover image for Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014, Proceedings
by 
Bulling, Nils. editor.
https://doi.org/10.1007/978-3-319-09764-0
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech
3. 
Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
by 
Zaverucha, Gerson. editor.
https://doi.org/10.1007/978-3-662-44923-3
Format: 
Excerpt: 
Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August
4. 
Cover image for Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013, Proceedings
by 
Leite, João. editor.
https://doi.org/10.1007/978-3-642-40624-9
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain
5. 
Cover image for Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday
by 
Artikis, Alexander. editor.
https://doi.org/10.1007/978-3-642-29414-3
Format: 
Excerpt: 
Logic Programs, Norms and Action Essays in Honor of Marek J. Sergot on the Occasion of His 60th
6. 
Cover image for Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011, Proceedings
by 
Balasubramaniam, P. editor.
https://doi.org/10.1007/978-3-642-19263-0
Format: 
Excerpt: 
Control, Computation and Information Systems First International Conference on Logic, Information
7. 
Cover image for Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings
Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011, Proceedings
by 
Petrosino, Alfredo. editor.
https://doi.org/10.1007/978-3-642-23713-3
Format: 
Excerpt: 
Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31
8. 
Cover image for Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
by 
Montali, Marco. author.
https://doi.org/10.1007/978-3-642-14538-4
Format: 
Excerpt: 
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach /
9. 
Cover image for Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
by 
Dix, Jürgen. editor.
https://doi.org/10.1007/978-3-642-16867-3
Format: 
Excerpt: 
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA-X 2009, Hamburg
10. 
Cover image for Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
by 
Di Gesù, Vito. editor.
https://doi.org/10.1007/978-3-642-02282-1
Format: 
Excerpt: 
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009
11. 
Cover image for Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen
by 
Lippe, Wolfram-Manfred. author.
https://doi.org/10.1007/3-540-29274-8
Format: 
Excerpt: 
Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen / Lippe, Wolfram
12. 
Cover image for Engineering Secure Future Internet Services and Systems Current Research
Engineering Secure Future Internet Services and Systems Current Research
by 
Heisel, Maritta. editor.
https://doi.org/10.1007/978-3-319-07452-8
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
Select an Action