Foundations of equational logic programming
Saved in:
| Main Author: | |
|---|---|
| Format: | Unknown |
| Published: |
Berlin
Springer-Verlag
1989
|
| Series: | Lecture notes in computer science
353. Lecture notes in artificial intelligence |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000n a2200000 a 4501 | ||
|---|---|---|---|
| 001 | wils-92384 | ||
| 020 | # | # | |a 354051533X |
| 090 | 0 | 0 | |a QA76.63 |b .H65 1989 |
| 100 | 1 | # | |a Holldobler, Steffen |d 1957- |
| 245 | 1 | 1 | |a Foundations of equational logic programming |c Steffen Holldobler |
| 260 | # | # | |a Berlin |b Springer-Verlag |c 1989 |
| 300 | # | # | |a x, 250 p. |b ill. |c 25 cm |
| 490 | 1 | # | |a Lecture notes in computer science |v 353. Lecture notes in artificial intelligence |
| 504 | # | # | |a Includes bibliographical references (p. 231-241 ) |
| 650 | # | 0 | |a Logic programming |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=92384 |
| 964 | # | # | |c BOK |d 01 |
| 040 | # | # | |a Shah Alam |
| 998 | # | # | |a 00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1|| |
Logic programming