Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG (Registro nro. 99516)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	00626nam a2200193Ia 4500
001 - NÚMERO DE CONTROL
campo de control	103155
008 - LONGITUD FIJA
campo de control de longitud fija	200505s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	978-607-7854-33-3
040 ## - FUENTE DE CATALOGACIÓN
Centro catalogador/agencia de origen	EC-QuPUC
Lengua de catalogación	Español
100 1# - AUTOR PERSONAL
nombre	De Ledesma, Luis
245 #0 - TÍTULO PROPIAMENTE DICHO
título	Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG
260 ## - PIE DE IMPRENTA
Ciudad de publicación	[México, México]
Editor, distribuidor	Alfaomega
Fecha de publicación	2010
300 ## - DESCRIPCIÓN FÍSICA
Extensión	177 p.
Ilustraciones
Dimensiones	23 cm.
504 ## - NOTA DE BIBLIOGRAFÍA
Bibliografía, etc.	Bibliografía y sitios web: p.[171]-174
082 04 - CLASIFICACIÓN DECIMAL DEWEY
Clasificación	164/D34l
650 #4 - MATERIA GENERAL
Término de materia o nombre geográfico como elemento inicial	LEBGUAJES DE PROGRAMACION - PROLOG
650 #4 - MATERIA GENERAL
Término de materia o nombre geográfico como elemento inicial	LOGICA MATEMATICA
942 00 - PUNTO DE ACCESO ADICIONAL KOHA
Préstamos Koha (prestado), todas las copias	0

Existencias
Ocultar en el OPAC	Perdido	Dañado	No circula	Colección	Nota de inventario	Sede propietaria	Localización actual	Ubicación	Adquirido	Proveedor	Precio de adquisición	Volumen	Signatura topográfica	Código de barras	Visto por última vez	Ejemplar	Tipo de ítem
No oculto				Col General	Inventario 2023	Sede Quito	Sede Quito	Planta baja	12/31/2011	COMPRA	15.40	V.1	164/D34l	PUCE161689	05/12/2020	Ej.1	Libro