Su búsqueda recuperó 4 resultados.

Resultados
		Automata theory and logic / edited by Gerard Prudhomme por Prudhomme, Gerard [editor]. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Oakville, ON : Arcler Press, [2018]Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ211 A836. Hacer reserva Agregar al carrito (remover)
		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)
		Introductory logic and sets for computer scientists / Nimal Nissanke por Nissanke, Nimal [autor]. Series International computer science seriesTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Harlow, England ; México City : Addison Wesley Longman, 1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 N57. Hacer reserva Agregar al carrito (remover)
		Modal and temporal properties of processes / Colin Stirling por Stirling, Colin P [autor]. Series Texts in computer scienceTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: New York : Springer Verlag, c2001Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 S75. Hacer reserva Agregar al carrito (remover)