Computation as logic /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Paris :
Masson, NJ,
c1993.
|
| Series: | Prentice Hall international series in computer science.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 00963nam a22002778a 4500 | ||
|---|---|---|---|
| 001 | vtls000164665 | ||
| 003 | UPM | ||
| 005 | 20161023163918.0 | ||
| 008 | 930907s1993 fr b 001 0 eng | ||
| 010 | |a 92-45893 | ||
| 020 | |a 0137700091 (hardback) | ||
| 035 | |a LC92045893 | ||
| 039 | 9 | |a 200804261513 |b VLOAD |y 200110271200 |z load0004 | |
| 040 | |c UPM | ||
| 090 | 0 | 0 | |a QA76.63 L1943 |
| 100 | 1 | |a Lalement, René. | |
| 245 | 1 | 0 | |a Computation as logic / |c René Lalement ; translated by John Plaice. |
| 260 | |a Paris : |b Masson, NJ, |c c1993. | ||
| 300 | |a 387p. ; |c 27cm. | ||
| 490 | 0 | |a Prentice Hall international series in computer science. | |
| 650 | 0 | |a Logic programming. | |
| 650 | 0 | |a Functional programming (Computer science). | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 942 | |2 lcc |c 10000 | ||
| 999 | |c 470480 |d 470480 | ||
| 952 | |0 0 |1 0 |4 0 |6 QA007663 L1943 |7 0 |9 640135 |a 10000 |b 10000 |c 10000 |d 2016-10-23 |o QA76.63 L1943 |p 1000270568 |r 2016-10-23 |t 1 |w 2016-10-23 |y 10000 | ||