Su búsqueda retornó 1029 resultados.

Resultados
		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny Schreye. por Schreye, Danny [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6037Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / edited by Fabio Fioravanti, John P. Gallagher. por Fioravanti, Fabio [editor.] \| Gallagher, John P [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10855Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. por Clarke, Edmund M [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6355Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Language, and Computation [recurso electrónico] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. por Bezhanishvili, Nick [editor.] \| Löbner, Sebastian [editor.] \| Schwabe, Kerstin [editor.] \| Spada, Luca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6618Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .M35.
		Logic, Language, Information and Computation [recurso electrónico] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. por Dawar, Anuj [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6188Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logic, Language, Information, and Computation [recurso electrónico] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz. por Väänänen, Jouko [editor.] \| Hirvonen, Åsa [editor.] \| de Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9803Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. por Moss, Lawrence S [editor.] \| de Queiroz, Ruy [editor.] \| Martinez, Maricarmen [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10944Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic Programming and Nonmonotonic Reasoning [recurso electrónico] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. por Delgrande, James P [editor.] \| Faber, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6645Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [recurso electrónico] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son. por Balduccini, Marcello [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6565Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Rationality, and Interaction [recurso electrónico] : 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). Series Lecture Notes in Computer Science ; 6953Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logica: Metodo Breve [recurso electrónico] / by Daniele Mundici. por Mundici, Daniele [author.] \| SpringerLink (Online service). Series UNITEXT ; 1Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Milano : Springer Milan : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Logical Analysis of Hybrid Systems [recurso electrónico] : Proving Theorems for Complex Dynamics / by André Platzer. por Platzer, André [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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logical Aspects of Computational Linguistics [recurso electrónico] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost. por Pogodalla, Sylvain [editor.] \| Prost, Jean-Philippe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6736Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996?2016) [recurso electrónico] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. por Amblard, Maxime [editor.] \| de Groote, Philippe [editor.] \| Pogodalla, Sylvain [editor.] \| Retoré, Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10054Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [recurso electrónico] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9537Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny Schreye. por Schreye, Danny [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6037Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Logic-Based Program Synthesis and Transformation [electronic resource] : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / edited by Fabio Fioravanti, John P. Gallagher. por Fioravanti, Fabio [editor.] \| Gallagher, John P [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10855Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers / edited by Edmund M. Clarke, Andrei Voronkov. por Clarke, Edmund M [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6355Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Language, and Computation [recurso electrónico] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. por Bezhanishvili, Nick [editor.] \| Löbner, Sebastian [editor.] \| Schwabe, Kerstin [editor.] \| Spada, Luca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6618Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Language and Meaning [recurso electrónico] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz. por Aloni, Maria [editor.] \| Bastiaanse, Harald [editor.] \| Jager, Tikitu [editor.] \| Schulz, Katrin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6042Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .M35.
		Logic, Language, Information and Computation [recurso electrónico] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz. por Dawar, Anuj [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6188Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logic, Language, Information, and Computation [recurso electrónico] : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz. por Väänänen, Jouko [editor.] \| Hirvonen, Åsa [editor.] \| de Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9803Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic, Language, Information, and Computation [electronic resource] : 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. por Moss, Lawrence S [editor.] \| de Queiroz, Ruy [editor.] \| Martinez, Maricarmen [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10944Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic Programming and Nonmonotonic Reasoning [recurso electrónico] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. por Delgrande, James P [editor.] \| Faber, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6645Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [recurso electrónico] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son. por Balduccini, Marcello [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6565Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logic, Rationality, and Interaction [recurso electrónico] : 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). Series Lecture Notes in Computer Science ; 6953Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logica: Metodo Breve [recurso electrónico] / by Daniele Mundici. por Mundici, Daniele [author.] \| SpringerLink (Online service). Series UNITEXT ; 1Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Milano : Springer Milan : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Logical Analysis of Hybrid Systems [recurso electrónico] : Proving Theorems for Complex Dynamics / by André Platzer. por Platzer, André [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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.
		Logical Aspects of Computational Linguistics [recurso electrónico] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost. por Pogodalla, Sylvain [editor.] \| Prost, Jean-Philippe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6736Origen: 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: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996?2016) [recurso electrónico] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings / edited by Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré. por Amblard, Maxime [editor.] \| de Groote, Philippe [editor.] \| Pogodalla, Sylvain [editor.] \| Retoré, Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10054Origen: 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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [recurso electrónico] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9537Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] \| Nerode, Anil [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10703Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 1029 resultados.