Su búsqueda retornó 32 resultados.

Resultados
		Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. por Lopez-Garcia, Pedro [editor.] \| Gallagher, John P [editor.] \| Giacobazzi, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13160Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach. por Haxthausen, Anne E [editor.] \| Huang, Wen-ling [editor.] \| Roggenbach, Markus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14165Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. por Porkoláb, Zoltán [editor.] \| Zsók, Viktória [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 11950Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Linguistics and Intelligent Text Processing [electronic resource] : 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh. por Gelbukh, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13451Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu. por Xu, Yejun [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptional Complexity of Formal Systems [electronic resource] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / edited by Henning Bordihn, Nicholas Tran, György Vaszil. por Bordihn, Henning [editor.] \| Tran, Nicholas [editor.] \| Vaszil, György [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13918Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov. por Drewes, Frank [editor.] \| Volkov, Mikhail [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13911Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Formal Analysis for Natural Language Processing: A Handbook [electronic resource] / by Zhiwei Feng. por Feng, Zhiwei [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. por Cerone, Antonio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13490Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer. por Capozucca, Alfredo [editor.] \| Ebersold, Sophie [editor.] \| Bruel, Jean-Michel [editor.] \| Meyer, Bertrand [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14387Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / edited by Benedek Nagy. por Nagy, Benedek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14151Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / edited by Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese. por Bellodi, Elena [editor.] \| Lisi, Francesca Alessandra [editor.] \| Zese, Riccardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14363Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo. por Herzig, Andreas [editor.] \| Luo, Jieting [editor.] \| Pardo, Pere [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14156Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready. por Bekki, Daisuke [editor.] \| Mineshima, Koji [editor.] \| McCready, Elin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14213Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle. por Glück, Robert [editor.] \| Kafle, Bishoksan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14330Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic: Reference Book for Computer Scientists [electronic resource] : The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" / by Lech T. Polkowski. por Polkowski, Lech T [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 245Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz. por Gaggl, Sarah [editor.] \| Martinez, Maria Vanina [editor.] \| Ortiz, Magdalena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14281Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Translation [electronic resource] : 19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023, Proceedings / edited by Yang Feng, Chong Feng. por Feng, Yang [editor.] \| Feng, Chong [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1922Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by Gerard O'Regan. por O'Regan, Gerard [author.] \| SpringerLink (Online service). Series Texts in Computer ScienceEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems [electronic resource] : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday / edited by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi. por Lopez-Garcia, Pedro [editor.] \| Gallagher, John P [editor.] \| Giacobazzi, Roberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13160Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Applicable Formal Methods for Safe Industrial Products [electronic resource] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday / edited by Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach. por Haxthausen, Anne E [editor.] \| Huang, Wen-ling [editor.] \| Roggenbach, Markus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14165Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Composability, Comprehensibility and Correctness of Working Software [electronic resource] : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers / edited by Zoltán Porkoláb, Viktória Zsók. por Porkoláb, Zoltán [editor.] \| Zsók, Viktória [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 11950Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Computational Linguistics and Intelligent Text Processing [electronic resource] : 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I / edited by Alexander Gelbukh. por Gelbukh, Alexander [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13451Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deriving Priorities from Incomplete Fuzzy Reciprocal Preference Relations [electronic resource] : Theories and Methodologies / by Yejun Xu. por Xu, Yejun [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Descriptional Complexity of Formal Systems [electronic resource] : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / edited by Henning Bordihn, Nicholas Tran, György Vaszil. por Bordihn, Henning [editor.] \| Tran, Nicholas [editor.] \| Vaszil, György [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13918Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Developments in Language Theory [electronic resource] : 27th International Conference, DLT 2023, Umeå, Sweden, June 12-16, 2023, Proceedings / edited by Frank Drewes, Mikhail Volkov. por Drewes, Frank [editor.] \| Volkov, Mikhail [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13911Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		No hay imagen de cubierta disponible Formal Analysis for Natural Language Processing: A Handbook [electronic resource] / by Zhiwei Feng. por Feng, Zhiwei [author.] \| SpringerLink (Online service). Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods [electronic resource] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings / edited by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker. por Chechik, Marsha [editor.] \| Katoen, Joost-Pieter [editor.] \| Leucker, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14000Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Formal Methods for an Informal World [electronic resource] : ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures / edited by Antonio Cerone. por Cerone, Antonio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 13490Edición: 1st ed. 2023.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, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Frontiers in Software Engineering Education [electronic resource] : Second International Workshop, FISEE 2023, Villebrumier, France, January 23-25, 2023, Invited Papers / edited by Alfredo Capozucca, Sophie Ebersold, Jean-Michel Bruel, Bertrand Meyer. por Capozucca, Alfredo [editor.] \| Ebersold, Sophie [editor.] \| Bruel, Jean-Michel [editor.] \| Meyer, Bertrand [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14387Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings / edited by Benedek Nagy. por Nagy, Benedek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14151Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Inductive Logic Programming [electronic resource] : 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings / edited by Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese. por Bellodi, Elena [editor.] \| Lisi, Francesca Alessandra [editor.] \| Zese, Riccardo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14363Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic and Argumentation [electronic resource] : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / edited by Andreas Herzig, Jieting Luo, Pere Pardo. por Herzig, Andreas [editor.] \| Luo, Jieting [editor.] \| Pardo, Pere [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14156Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic and Engineering of Natural Language Semantics [electronic resource] : 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers / edited by Daisuke Bekki, Koji Mineshima, Elin McCready. por Bekki, Daisuke [editor.] \| Mineshima, Koji [editor.] \| McCready, Elin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14213Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic-Based Program Synthesis and Transformation [electronic resource] : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings / edited by Robert Glück, Bishoksan Kafle. por Glück, Robert [editor.] \| Kafle, Bishoksan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14330Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logic: Reference Book for Computer Scientists [electronic resource] : The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" / by Lech T. Polkowski. por Polkowski, Lech T [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 245Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Logics in Artificial Intelligence [electronic resource] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz. por Gaggl, Sarah [editor.] \| Martinez, Maria Vanina [editor.] \| Ortiz, Magdalena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 14281Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Translation [electronic resource] : 19th China Conference, CCMT 2023, Jinan, China, October 19-21, 2023, Proceedings / edited by Yang Feng, Chong Feng. por Feng, Yang [editor.] \| Feng, Chong [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 1922Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Mathematical Foundations of Software Engineering [electronic resource] : A Practical Guide to Essentials / by Gerard O'Regan. por O'Regan, Gerard [author.] \| SpringerLink (Online service). Series Texts in Computer ScienceEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso 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

Series

Tópicos

Su búsqueda retornó 32 resultados.