Su búsqueda retornó 2 resultados.

Ordenar
Resultados
R-Calculus, IV: Propositional Logic [electronic resource] / by Wei Li, Yuefei Sui.

por Li, Wei [author.] | Sui, Yuefei [author.] | SpringerLink (Online service).

Series Perspectives in Formal Induction, Revision and EvolutionEdició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: 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) .

R-Calculus, V: Description Logics [electronic resource] / by Wei Li, Yuefei Sui.

por Li, Wei [author.] | Sui, Yuefei [author.] | SpringerLink (Online service).

Series Perspectives in Formal Induction, Revision and EvolutionEdición: 1st ed. 2024.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha