Hardcover Book

iMusicに在庫あり

在庫なし商品を表示

Miller, Dale (INRIA Saclay-Ile-de-France)のリリース

Cover for Miller, Dale (INRIA Saclay-Ile-de-France) · Proof Theory and Logic Programming: Computation as Proof Search (Hardcover Book) (2025)
Hardcover Book
Proof Theory and Logic Programmi...
Miller, Dale (INRIA Saclay-Ile-d...