Su búsqueda recuperó 2 resultados.

Resultados
		Extensional paramodulation for higher-order logic and its effective implementation Leo-III / Alexander Steen por Steen, Alexander [autor]. Series Dissertations in artificial intelligence ; volume 345Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam : Berlin : IOS Press ; Akademische Verlagsgesellschaft, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 S74. Hacer reserva Agregar al carrito (remover)
		A method for reusing and re-engineering non-ontological resources for building ontologies / Boris Villazon-Terrazas por Villazon-Terrazas, Boris [autor]. Series Studies on the semantic webTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Heidelberg : IOS Press, Akademische Verlagsgesellschaft : c2012Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.88815 V55. Hacer reserva Agregar al carrito (remover)

¿No encuentras lo que estás buscando?

Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”