1～1件／全1件 セーフサーチON
  •  
Universal Quantification in Categorical Logic Programming : Categorical operational semantics for universal quantification in hereditarily Harrop logic programming （2011. 72 S.）
  • 洋書
  • ポイントキャンペーン

Universal Quantification in Categorical Logic Programming : Categorical operational semantics for universal quantification in hereditarily Harrop logic programming （2011. 72 S.）  Paperback

Krishnan, Ayalur

  • ウェブストア価格 ¥12,822（本体¥11,657）
  • VDM VERLAG DR. MÜLLER（2011発売）
  • ポイント 232pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～1件／全1件
  •