Saltar al contenido principal
IBERO-BFXC
Listas
Listas públicas
Caratulas sustentabilidad
agatha_christie
Libros sobre rock
leonora_carrington
ej_en_margry
No disponible en Internet, solicitar el CD en el Mostrador de Colecciones Especiales
MIPA autografiados
MIPA_OK
Jesuitas_Tere_01_33
Feminismo
Ver todo
Sus listas
Ingrese para crear sus propias listas
Ingresar a su cuenta
Historial de búsqueda
Limpiar
Catálogo de biblioteca
Título
Autor
Tema
ISBN
ISSN
Series
Signatura topográfica
Búsqueda avanzada
Bibliotecas
Recursos electrónicos
|
Actualiza tu registro
|
Fondo Mariano cuevas
|
Ingresar a su cuenta
×
Usuario:
Contraseña:
Inicio
Resultados de búsqueda para 'su,complete-subfield:"Lógica de primer orden"'
Refinar su búsqueda
Disponibilidad
Limitar a ítems actualmente disponibles
Autores
Falguera López, José...
Ledesma, Luis de
Martínez Vidal, Conc...
Colecciones
Acervo General
Bibliotecas depositarias
Biblioteca Francisco Xavier Clavigero
Tipos de ítem
Libros
Ubicaciones
Acervo
Series
Colección estructura...
Computación
Temas
Lógica de primer ord...
Lógica simbólica y m...
Programación lógica
PROLOG (Lenguaje de ...
Su búsqueda retornó 2 resultados.
Ordenar
Ordenar por:
Relevancia
Popularidad (mayor a menor)
Popularidad (menor a mayor)
Autor (A-Z)
Autor (Z-A)
Signatura topográfica (0-9 a A-Z)
Signatura topográfica (Z-A a 9-0)
Publicación/Fecha de Copyright: Nuevos a viejos
Publicación/Fecha de Copyright: Viejos a nuevos
Fecha de adquisición: Nuevos a viejos
Fecha de adquisición: Viejos a nuevos
Título (A-Z)
Título (Z-A)
Resultados por página:
20 (predeterminado)
20
40
60
80
100
De-resaltar
Resaltar
Seleccionar todo
Limpiar todo
Seleccionar títulos para:
Agregar a...
Caratulas sustentabilidad
No disponible en Internet, solicitar el CD en el Mostrador de Colecciones Especiales
MIPA autografiados
Jesuitas_Tere_01_33
Marie Curie
Vocabularios y más (Jesuitas)2
[ Nueva lista ]
Reservar
Resultados
Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog /
Luis de Ledesma.
por
Ledesma, Luis de
Series
Computación
. Programación
Edición:
1a ed.
Tipo de material:
Texto
; Forma literaria:
No es ficción
Detalles de publicación:
México, D.F. :
Alfaomega : Ra-Ma,
2010
Otro título:
Teorías de primer orden, resolución y elementos de programación lógica y prolog
Disponibilidad:
Ítems disponibles para préstamo:
Biblioteca Francisco Xavier Clavigero
(1)
Colección, signatura topográfica:
Acervo General
QA 76.63 L43.2010
.
Hacer reserva
Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica /
José L. Falguera López, Concepción Martínez Vidal.
por
Falguera López, José L
Martínez Vidal, Concepción
Series
Colección estructuras y procesos
. Serie filosofía
Tipo de material:
Texto
; Forma literaria:
No es ficción
Detalles de publicación:
Madrid :
Trotta,
1999
Disponibilidad:
Ítems disponibles para préstamo:
Biblioteca Francisco Xavier Clavigero
(4)
Colección, signatura topográfica:
Acervo General
BC 128 F35.1999, ..
.
Hacer reserva
Páginas
Copyright © 2021 Francisco Xavier Clavigero.
Powered by Koha