Programming with higher-order logic

著者

• Miller, Dale
• Nadathur, Gopalan

書誌事項

Programming with higher-order logic

Dale Miller, Gopalan Nadathur

Cambridge University Press, 2012

注記

Includes bibliographical references(p.289-299) and index

詳細情報

• NII書誌ID(NCID): BB10088767
• ISBN:
  • 9780521879408
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge
• ページ数/冊数: xiii, 306 p
• 大きさ: 24 cm