Limit Search Results
Author
SpringerLink (Online service)
(258)
Gabbay, Dov M. author.
(5)
Löwe, Benedikt. editor.
(4)
Andreescu, Titu. author.
(3)
Artemov, Sergei. editor.
(3)
Language
Publication Date
-
2011
(35)
2014
(34)
2013
(33)
2009
(28)
2008
(26)
Subject
Mathematical logic.
(258)
Formal Languages and Automata Theory.
(86)
Machine theory.
(86)
Mathematics.
(64)
Logic.
(57)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
258 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
by 
Kaiser, Lukasz. author.
https://doi.org/10.1007/978-3-642-22807-0
Format: 
Excerpt: 
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions / Kaiser
38. 
Cover image for Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
by 
van Ditmarsch, Hans. editor.
https://doi.org/10.1007/978-3-642-24130-7
Format: 
Excerpt: 
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China
39. 
Cover image for Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
by 
Blackburn, Patrick. editor.
https://doi.org/10.1007/978-3-642-21350-2
Format: 
Excerpt: 
Tools for Teaching Logic Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4
40. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
by 
Stankovic, Radomir S. author.
https://doi.org/10.1007/978-3-642-11682-7
Format: 
Excerpt: 
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology /
41. 
Cover image for Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008
by 
Skof, Fulvia. editor.
https://doi.org/10.1007/978-88-470-1836-5
Format: 
Excerpt: 
Giuseppe Peano between Mathematics and Logic Proceeding of the International Conference in honour
42. 
Cover image for Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
by 
Casari, E. editor.
https://doi.org/10.1007/978-3-642-11080-1
Format: 
Excerpt: 
Aspects of Mathematical Logic Lectures given at a Summer School of the Centro Internazionale
43. 
Cover image for Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
by 
Triantaphyllou, Evangelos. author.
https://doi.org/10.1007/978-1-4419-1630-3
Format: 
Excerpt: 
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications /
44. 
Cover image for Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
by 
Grädel, Erich. editor.
https://doi.org/10.1007/978-3-642-04027-6
Format: 
Excerpt: 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL
45. 
Cover image for Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
by 
He, Xiangdong. editor.
https://doi.org/10.1007/978-3-642-04893-7
Format: 
Excerpt: 
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China
46. 
Cover image for A Missing Link in Cybernetics Logic and Continuity
A Missing Link in Cybernetics Logic and Continuity
by 
Andrew, Alex M. author.
https://doi.org/10.1007/978-0-387-75164-1
Format: 
Excerpt: 
A Missing Link in Cybernetics Logic and Continuity / Andrew, Alex M. author.
47. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
by 
Solojentsev, Evgueni D. author.
https://doi.org/10.1007/978-0-387-77946-1
Format: 
Excerpt: 
Scenario Logic and Probabilistic Management of Risk in Business and Engineering Solojentsev
48. 
Cover image for Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
by 
Kaminski, Michael. editor.
https://doi.org/10.1007/978-3-540-87531-4
Format: 
Excerpt: 
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL
Select an Action