Su búsqueda retornó 2 resultados.

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; 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) .
		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; Formato: electrónico disponible en línea ; 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) .

Refinar su búsqueda