| Shelfclass_id | 4.B.3 |
| Sortkey | AÏT-KACI, HASSAN |
| Authors | Hassan Aït-Kaci |
| Title | Warren's Abstract Machine: A Tutorial Reconstruction |
| Publisher | MIT Press |
| Year | c1991 |
| Languages | eng |
| Isbn | 0262011239, 0262510588 |
| Series | Logic programming |
| Description | (hc) (pbk.) xvi, 114 p. ill. 24 cm. |
| Record date | 20071017 |
| Location | Cambridge, Mass. |
| Keywords | Prolog (Computer program language), Logic programming, Electronic digital computers |