서브메뉴
검색
Warren's abstract machine : a tutorial reconstruction : Hassan A?t-Kaci
Warren's abstract machine : a tutorial reconstruction : Hassan A?t-Kaci
- 자료유형
- 단행본
- 91010776
- ISBN
- 0262011239 (hc)
- ISBN
- 0262510588 (pbk.)
- 미국회청구기호
- QA76.73.P76-A38 1991
- DDC
- 006.3-20
- 저자명
- A?t-Kaci, Hassan, , 1954-
- 서명/저자
- Warrens abstract machine : a tutorial reconstruction : Hassan A?t-Kaci
- 발행사항
- Cambridge, Mass. : MIT Press, c1991.
- 형태사항
- xvi, 114 p. : ill. ; 24 cm.
- 총서명
- Logic programming
- 서지주기
- Includes bibliographical references (p. [105]-107) and index.
- 일반주제명
- Logic programming.
- 청구기호
- 006.3 A311W
- Control Number
- ydul:24003