|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
|
|
|
14.
|
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
|
|
24.
|
|
|
|
25.
|
|
|
|
26.
|
|
|
|
27.
|
|
|
|
28.
|
|
|
|
29.
|
|
|
|
30.
|
|
|
|
31.
|
|
|
|
32.
|
|
|
|
33.
|
|
|
|
34.
|
|
|
|
35.
|
|
|
|
36.
|
|
|
|
37.
|
|
|
|
38.
|
|
|
|
39.
|
|
|
|
40.
|
|
|
|
41.
|
|
|
|
42.
|
|
|
|
43.
|
|
|
|
44.
|
|
|
|
45.
|
|
|
|
46.
|
|
|
|
47.
|
|
|
|
48.
|
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. por Carnielli, Walter [author.] | Coniglio, Marcelo [author.] | Gabbay, Dov M [author.] | Gouveia, Paula [author.] | Sernadas, Cristina [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Dordrecht : Springer Netherlands, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
49.
|
|
|
|
50.
|
|
|
|
51.
|
|
|
|
52.
|
Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them? / edited by Sten Lindstrȵm, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen. por Lindstrȵm, Sten [editor.] | Palmgren, Erik [editor.] | Segerberg, Krister [editor.] | Stoltenberg-Hansen, Viggo [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Dordrecht : Springer Netherlands, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
53.
|
|
|
|
54.
|
|
|
|
55.
|
|
|
|
56.
|
|
|
|
57.
|
|
|
|
58.
|
|
|
|
59.
|
|
|
|
60.
|
|
|
|
61.
|
|
|
|
62.
|
|
|
|
63.
|
|
|
|
64.
|
|
|
|
65.
|
|
|
|
66.
|
|
|
|
67.
|
|
|
|
68.
|
|
|
|
69.
|
|
|
|
70.
|
|
|
|
71.
|
|
|
|
72.
|
|
|
|
73.
|
|
|
|
74.
|
|
|
|
75.
|
|
|
|
76.
|
|
|
|
77.
|
|
|
|
78.
|
|
|
|
79.
|
|
|
|
80.
|
|
|
|
81.
|
|
|
|
82.
|
|
|
|
83.
|
|
|
|
84.
|
|
|
|
85.
|
|
|
|
86.
|
|
|
|
87.
|
|
|
|
88.
|
|
|
|
89.
|
|
|
|
90.
|
|
|
|
91.
|
|
|
|
92.
|
|
|
|
93.
|
|
|
|
94.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / edited by Holger H. Hoos, David G. Mitchell. por Hoos, Holger H [editor.] | Mitchell, David G [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
95.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. por Bacchus, Fahiem [editor.] | Walsh, Toby [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
96.
|
|
|
|
97.
|
|
|
|
98.
|
Processes, Terms and Cycles: Steps on the Road to Infinity [electronic resource] : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday / edited by Aart Middeldorp, Vincent Oostrom, Femke Raamsdonk, Roel Vrijer. por Middeldorp, Aart [editor.] | Oostrom, Vincent [editor.] | Raamsdonk, Femke [editor.] | Vrijer, Roel [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
99.
|
More Sets, Graphs and Numbers [electronic resource] : A Salute to Vera Ss and Andrs Hajnal / edited by Ervin Gyri, Gyula O. H. Katona, Lszl Lovsz, Tams Fleiner. por Gyri, Ervin | Katona, Gyula O. H | Lovsz, Lszl | Fleiner, Tams | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
100.
|
|
|
|
101.
|
|
|
|
102.
|
|
|
|
103.
|
|
|
|
104.
|
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes. por Biere, Armin [editor.] | Gomes, Carla P [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
105.
|
|
|
|
106.
|
|
|
|
107.
|
Finite Model Theory and Its Applications [electronic resource] / by Erich Grdel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. por Grdel, Erich [author.] | Kolaitis, Phokion G [author.] | Libkin, Leonid [author.] | Marx, Maarten [author.] | Spencer, Joel [author.] | Vardi, Moshe Y [author.] | Venema, Yde [author.] | Weinstein, Scott [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
108.
|
|
|
|
109.
|
|
|
|
110.
|
|
|
|
111.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings / edited by Sergei N. Artemov, Anil Nerode. por Artemov, Sergei N [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
112.
|
|
|
|
113.
|
Computer Science Logic [electronic resource] : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. por Duparc, Jacques [editor.] | Henzinger, Thomas A [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
114.
|
|
|
|
115.
|
|
|
|
116.
|
|
|
|
117.
|
Theory and Applications of Satisfiability Testing SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Bȭning, Xishun Zhao. por Kleine Bȭning, Hans [editor.] | Zhao, Xishun [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
118.
|
|
|
|
119.
|
Computer Science Logic [electronic resource] : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings / edited by Michael Kaminski, Simone Martini. por Kaminski, Michael [editor.] | Martini, Simone [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
120.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
121.
|
|
|
|
122.
|
|
|
|
123.
|
|
|
|
124.
|
|
|
|
125.
|
|
|
|
126.
|
|
|
|
127.
|
Rough Sets and Knowledge Technology [electronic resource] : 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings / edited by Peng Wen, Yuefeng Li, Lech Polkowski, Yiyu Yao, Shusaku Tsumoto, Guoyin Wang. por Wen, Peng [editor.] | Li, Yuefeng [editor.] | Polkowski, Lech [editor.] | Yao, Yiyu [editor.] | Tsumoto, Shusaku [editor.] | Wang, Guoyin [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
128.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers / edited by Andrea Corradini, Ugo Montanari. por Corradini, Andrea [editor.] | Montanari, Ugo [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
129.
|
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grdel, Reinhard Kahle. por Grdel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
130.
|
|
|
|
131.
|
Logic, Rationality, and Interaction [electronic resource] : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings / edited by Xiangdong He, John Horty, Eric Pacuit. por He, Xiangdong [editor.] | Horty, John [editor.] | Pacuit, Eric [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
132.
|
|
|
|
133.
|
|
|
|
134.
|
|
|
|
135.
|
|
|
|
136.
|
|
|
|
137.
|
|
|
|
138.
|
|
|
|
139.
|
|
|
|
140.
|
|
|
|
141.
|
|
|
|
142.
|
Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, Marȡa Manzano, Fernando Soler-Toscano. por Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, Marȡa [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
143.
|
|
|
|
144.
|
|
|
|
145.
|
Models of Computation in Context [electronic resource] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings / edited by Benedikt Lȵwe, Dag Normann, Ivan Soskov, Alexandra Soskova. por Lȵwe, Benedikt [editor.] | Normann, Dag [editor.] | Soskov, Ivan [editor.] | Soskova, Alexandra [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
146.
|
|
|
|
147.
|
|
|
|
148.
|
The Mathematics of Language [electronic resource] : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / edited by Makoto Kanazawa, Andrs Kornai, Marcus Kracht, Hiroyuki Seki. por Kanazawa, Makoto [editor.] | Kornai, Andrs [editor.] | Kracht, Marcus [editor.] | Seki, Hiroyuki [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
149.
|
Logic, Rationality, and Interaction [electronic resource] : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings / edited by Hans Ditmarsch, JȨrȳme Lang, Shier Ju. por Ditmarsch, Hans [editor.] | Lang, JȨrȳme [editor.] | Ju, Shier [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
150.
|
|
|
|
151.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / edited by Till Mossakowski, Hans-Jȵrg Kreowski. por Mossakowski, Till [editor.] | Kreowski, Hans-Jȵrg [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
152.
|
|
|
|
153.
|
|
|
|
154.
|
How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Lȵwe. por Cooper, S. Barry [editor.] | Dawar, Anuj [editor.] | Lȵwe, Benedikt [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
155.
|
Lectures on Logic and Computation [electronic resource] : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / edited by Nick Bezhanishvili, Valentin Goranko. por Bezhanishvili, Nick [editor.] | Goranko, Valentin [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
156.
|
|
|
|
157.
|
|
|
|
158.
|
|
|
|
159.
|
|
|
|
160.
|
|
|
|
161.
|
|
|
|
162.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
163.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martȡ-Oliet, Miguel Palomino. por Martȡ-Oliet, Narciso [editor.] | Palomino, Miguel [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
164.
|
|
|
|
165.
|
The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Lȵwe. por Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Lȵwe, Benedikt [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
166.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. por Grossi, Davide [editor.] | Roy, Olivier [editor.] | Huang, Huaxin [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
167.
|
|
|
|
168.
|
|
|
|
169.
|
|
|
|
170.
|
|
|
|
171.
|
|
|
|
172.
|
|
|
|
173.
|
|
|
|
174.
|
|
|
|
175.
|
|
|
|
176.
|
|
|
|
177.
|
|
|
|
178.
|
|
|
|
179.
|
|
|
|
180.
|
|
|
|
181.
|
|
|
|
182.
|
|
|
|
183.
|
|
|
|
184.
|
|
|
|
185.
|
|
|
|
186.
|
|
|
|
187.
|
|
|
|
188.
|
|
|
|
189.
|
|
|
|
190.
|
|
|
|
191.
|
|
|
|
192.
|
|
|
|
193.
|
|
|
|
194.
|
|
|
|
195.
|
|
|
|
196.
|
|
|
|
197.
|
|
