Warren's abstract machine : a tutorial reconstruction

著者

• Aït-Kaci, Hassan

書誌事項

Warren's abstract machine : a tutorial reconstruction

Hassan Aït-Kaci

（Logic programming）

MIT Press, c1991

• : hc.
• : pbk.

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA12950587
• ISBN:
  • 0262011239
  • 0262510588
• LCCN: 91010776
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xvi, 114 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.73.P76
  • DC20 : 006.3
• 件名:
  • LCSH : Prolog (Computer program language)
  • LCSH : Logic programming
  • LCSH : Electronic digital computers
• 親書誌ID:
  • BA07047811