Proof Theory and Logic Programming: Computation as Proof Search
暫譯: 證明理論與邏輯程式設計：計算作為證明搜尋

Miller, Dale

Proof Theory and Logic Programming: Computation as Proof Search
  • 出版商: Cambridge
  • 出版日期: 2025-12-31
  • 售價: $2,860
  • 貴賓價: 9.5 折 $2,717
  • 語言: 英文
  • 頁數: 400
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 1009561294
  • ISBN-13: 9781009561297
  • 相關分類: Functional-programming

    • 尚未上市，無法訂購

商品描述

商品描述(中文翻譯)

抱歉，您似乎沒有提供要翻譯的內容。請提供需要翻譯的英文文本，我將很樂意協助您進行翻譯。

類似商品

最後瀏覽商品 (17)