Su búsqueda retornó 2 resultados.

Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Select titles to:
Resultados
Algorithms for Constructing Computably Enumerable Sets [electronic resource] / by Kenneth J. Supowit.

por Supowit, Kenneth J [author.] | SpringerLink (Online service).

Series Computer Science Foundations and Applied LogicEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Programs as Diagrams [electronic resource] : From Categorical Computability to Computable Categories / by Dusko Pavlovic.

por Pavlovic, Dusko [author.] | SpringerLink (Online service).

Series Theory and Applications of Computability, In cooperation with the association Computability in EuropeEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; 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) .

Páginas

Con tecnología Koha