Programación lógica : teoría y práctica /

Saved in:
Bibliographic Details
Main Author: Iranzo, Pascual Julián
Other Authors: Alpuente Frasnedo, María
Format: Book
Language: Spanish
Published: Madrid : Pearson Educación, 2007.
Subjects:
Notas Contenido:
  • Una panorámica de la programación declarativa
  • Sistemas formales, lógica y lenguajes de programación
  • De la demostración automática a la programación lógica: introducción y métodos semánticos
  • El principio de resolución de Robinson
  • Programación lógica
  • El lenguaje prolog: introducción
  • El lenguaje prolog: aspectos avanzados
  • Representación del conocimiento
  • Resolución de problemas
  • Programación lógica y tecnología software rigurosa
  • Fundamentos y notaciones matemáticas

MARC

LEADER 00000nam a2200000 a 4500
001 000054375
003 CO-BoSNA
005 20260107154447.0
008 051017s2007^^^^sp^a^^^frt^^^^000^0^spa^d
020 |a 9788483223680 
040 |a CO-BoSNA  |b spa 
041 0 |a spa 
082 0 4 |a 005.1  |b I652p  |2 23 
100 1 |a Iranzo, Pascual Julián 
245 1 0 |a Programación lógica :  |b teoría y práctica /  |c Pascual Julián Iranzo, María Alpuente Frasnedo. 
260 |a Madrid :  |b Pearson Educación,  |c 2007. 
300 |a xxvi, 470 páginas :  |b ilustraciones ;  |c 26 cm. 
505 0 |a Una panorámica de la programación declarativa -- Sistemas formales, lógica y lenguajes de programación -- De la demostración automática a la programación lógica: introducción y métodos semánticos -- El principio de resolución de Robinson -- Programación lógica -- El lenguaje prolog: introducción -- El lenguaje prolog: aspectos avanzados -- Representación del conocimiento -- Resolución de problemas -- Programación lógica y tecnología software rigurosa -- Fundamentos y notaciones matemáticas 
650 1 7 |a Programación (Computadores electrónicos)  |x Fundamentos  |2 Armarc 
650 1 7 |a Lenguajes de programación (Computadores electrónicos)  |2 Armarc 
650 1 7 |a Programación estructurada  |2 Armarc 
700 1 |a Alpuente Frasnedo, María 
952 |0 0  |1 0  |4 2  |6 005_100000000000000_I652P  |7 0  |8 GENER  |9 243483  |a 11211  |b 11211  |d 2011-11-10  |i 119910  |l 0  |o 005.1 I652p  |p 119211008392  |r 2026-01-07 15:44:47  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá 
952 |0 0  |1 0  |4 4  |6 005_100000000000000_I652P  |7 0  |8 GENER  |9 243484  |a 11211  |b 11211  |d 2011-11-10  |i 119910  |l 0  |o 005.1 I652p  |p 119211008395  |r 2026-01-07 15:44:47  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Calle 15 N° 31 - 42 Piso 2, Centro de Gestión Industrial Bogotá 
952 |0 0  |1 0  |4 5  |6 005_100000000000000_I652P  |7 0  |8 GENER  |9 243485  |a 11217  |b 11217  |d 2014-07-29  |i 126258  |l 0  |o 005.1 I652p  |p 119217000121  |r 2026-01-07 15:44:47  |t Ej.1  |w 2026-01-07  |y BOOK  |z Cra. 31 No. 15-42, Bogotá 
952 |0 0  |1 0  |4 4  |6 005_100000000000000_I652P  |7 0  |8 GENER  |9 243486  |a 44524  |b 44524  |d 2014-09-22  |i 166628  |l 0  |o 005.1 I652p  |p 44524000012  |r 2026-01-07 15:44:47  |t Ej. 1  |w 2026-01-07  |y BOOK  |z Km. 1 Vía Barrancas, Fonseca 
952 |0 0  |1 0  |4 4  |6 005_100000000000000_I652P  |7 0  |8 GENER  |9 243487  |a 44524  |b 44524  |d 2014-09-22  |i 166628  |l 0  |o 005.1 I652p  |p 44524000013  |r 2026-01-07 15:44:47  |t Ej. 2  |w 2026-01-07  |y BOOK  |z Km. 1 Vía Barrancas, Fonseca 
999 |c 50372  |d 50372 
942 |6 005_100000000000000__I652P