Warren's abstract0 machine a tutorial reconstruction
Saved in:
Main Author: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass.
MIT Press
1991
|
Series: | Logic programming
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
LEADER | 00000n a2200000 a 4501 | ||
---|---|---|---|
001 | wils-91010776 | ||
002 | 000070132 | ||
008 | 940704s1991 maua b 00110 eng | ||
020 | # | # | |a 0262011239 |
040 | # | # | |a DLC |c DLC |d DLC |
090 | # | # | |a QA76.73.P76 |b A38 1991 |
100 | # | # | |a Ait-Kaci, Hassan |d 1954- |
245 | # | # | |a Warren's abstract0 machine |b a tutorial reconstruction |c Hassan Ait-Kaci |
260 | # | # | |a Cambridge, Mass. |b MIT Press |c 1991 |
300 | # | # | |a xvi, 114 p. |b ill. |c 24 cm |
490 | # | # | |a Logic programming |
504 | # | # | |a Includes bibliographical references (p. [105]-107) and index. |
650 | # | # | |a Prolog (Computer program lan0guage |
650 | # | # | |a Electronic digital computers |
650 | # | # | |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=91010776 |
964 | # | # | |c BOK |d 01 |
998 | # | # | |a 00100##a0011.2.2||00100##d0017.8||00245##a002.3.2||00245##b002.3.3||00245##c002.3.2||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00490##a002.12.2|| |