Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Bog |
| Sprog: | spansk |
| Udgivet: |
Cuernavaca
Alfaomega
2010
|
| Fag: | |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | UCF4191 | ||
| 003 | CL-VaPUC | ||
| 008 | 121122e20100000MX |||||||||||||||||spa|d | ||
| 020 | |a 9786077854333 | ||
| 082 | 0 | 4 | |a 511.3 |b LED |2 21 |
| 100 | 0 | |a Ledesma, Luis de |e author |9 565790 | |
| 245 | 1 | 0 | |a Lógica para la computación: teorías de primer orden, resolución y elementos de programación lógica y PROLOG |
| 300 | |a 177 p | ||
| 942 | |c BK | ||
| 945 | |d 20121122 00:00:00 |a dcastane | ||
| 260 | |a Cuernavaca |b Alfaomega |c 2010 | ||
| 650 | 0 | |a Lógica matemática |9 262442 | |
| 650 | 0 | |a Lógica simbólica |9 269868 | |
| 583 | |a last modification |c 20121122 14:17:00 |k Rodrigo Vera | ||
| 999 | |c 350111 |d 350109 | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453219 |a BIBING |b BIBING |d 2019-11-22 |i 4925505 |o 511.3 LED 2010 |p 4925505 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453220 |a BIBING |b BIBING |d 2019-11-22 |i 4925513 |o 511.3 LED 2010 |p 4925513 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453221 |a BIBING |b BIBING |d 2019-11-22 |i 4925521 |l 2 |o 511.3 LED 2010 |p 4925521 |r 2025-04-15 |s 2025-04-08 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453222 |a BIBING |b BIBING |d 2019-11-22 |i 492553K |o 511.3 LED 2010 |p 492553K |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453223 |a BIBING |b BIBING |d 2019-11-22 |i 4925548 |o 511.3 LED 2010 |p 4925548 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453224 |a BIBING |b BIBING |d 2019-11-22 |i 4925556 |o 511.3 LED 2010 |p 4925556 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453225 |a BIBING |b BIBING |d 2019-11-22 |i 4925564 |l 1 |o 511.3 LED 2010 |p 4925564 |r 2025-01-20 |s 2023-03-22 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453226 |a BIBING |b BIBING |d 2019-11-22 |i 4932641 |o 511.3 LED 2010 |p 4932641 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453227 |a BIBING |b BIBING |d 2019-11-22 |i 493265K |o 511.3 LED 2010 |p 493265K |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453228 |a BIBING |b BIBING |d 2019-11-22 |i 4932668 |o 511.3 LED 2010 |p 4932668 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453229 |a BIBING |b BIBING |d 2019-11-22 |i 4932676 |o 511.3 LED 2010 |p 4932676 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||
| 952 | |0 0 |1 0 |4 0 |6 511_300000000000000_LED_2010 |7 0 |8 A |9 453230 |a BIBING |b BIBING |d 2019-11-22 |i 4932684 |o 511.3 LED 2010 |p 4932684 |r 2025-01-20 |w 2019-11-22 |y BK |k CCI | ||