Limit Search Results
Author
SpringerLink (Online service)
(329)
Löwe, Benedikt. editor.
(8)
Rozenberg, Grzegorz. editor.
(6)
de Queiroz, Ruy. editor.
(6)
Potapov, Igor. editor. (orcid)0000-0002-7192-7853
(5)
Language
Publication Date
-
2006
(43)
2007
(39)
2009
(38)
2012
(33)
2014
(33)
Subject
Computer science.
(329)
Computer Science Logic and Foundations of Programming.
(260)
Formal Languages and Automata Theory.
(189)
Machine theory.
(189)
Software engineering.
(141)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
329 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
by 
Hodges, Wilfrid. editor.
https://doi.org/10.1007/978-3-540-69937-8
Format: 
Excerpt: 
Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK
38. 
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
39. 
Cover image for Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
by 
Duparc, Jacques. editor.
https://doi.org/10.1007/978-3-540-74915-8
Format: 
Excerpt: 
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL
40. 
Cover image for Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
by 
Cooper, Barry S. editor.
https://doi.org/10.1007/978-3-540-73001-9
Format: 
Excerpt: 
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007
41. 
Cover image for Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings
by 
Leivant, Daniel. editor.
https://doi.org/10.1007/978-3-540-73445-1
Format: 
Excerpt: 
Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de
42. 
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
43. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
by 
Ésik, Zoltán. editor.
https://doi.org/10.1007/11874683
Format: 
Excerpt: 
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
44. 
Cover image for Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
by 
Goble, Lou. editor.
https://doi.org/10.1007/11786849
Format: 
Excerpt: 
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in
45. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
by 
Bollig, Benedikt. author.
https://doi.org/10.1007/3-540-32923-4
Format: 
Excerpt: 
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic / Bollig
46. 
Cover image for Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003, Revised Selected Papers
by 
Di Gesù, Vito. editor.
https://doi.org/10.1007/10983652
Format: 
Excerpt: 
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11
47. 
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
48. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by 
Ong, Luke. editor.
https://doi.org/10.1007/11538363
Format: 
Excerpt: 
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL
Select an Action