Su búsqueda retornó 2 resultados.

Resultados
		Prolog: The Next 50 Years [electronic resource] / edited by David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi. por Warren, David S [editor.] \| Dahl, Veronica [editor.] \| Eiter, Thomas [editor.] \| Hermenegildo, Manuel V [editor.] \| Kowalski, Robert [editor.] \| Rossi, Francesca [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 13900Edició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) .
		Static Analysis [electronic resource] : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales. por Hermenegildo, Manuel V [editor.] \| Morales, José F [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 14284Edició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