Handbook of Automated Reasoning Vol.II

¥7670

(税込) 送料込み

20
コメント

商品の説明

ご覧頂きありがとうございます。
即購入大歓迎です。質問も大歓迎です。

【送料込み、匿名配送】です。

※この商品は配送方法をゆうゆうメルカリ便にしていますが、購入者の承諾を得を得た上で、らくらくメルカリ便に変更するかもしれません。(どちらも匿名配送です。変えるとご都合の悪い方はコメントしてください。)

未読です。

●タイトル:Handbook of Automated Reasoning Volume II
●著者:#Alan_Robinson #AlanRobinson #Andrei_Voronkov #AndreiVoronkov

●ヤケ:なし ●シミ:なし ●汚れ:なし
●破れ:なし ●スレ:なし ●キズ:なし
●折れ:なし ●書き込み:なし
●ページ開き癖:なし
●ペット臭、タバコ臭:なし

●その他、注意事項:
非常に良い状態ですが、一応中古品ということをご理解の上ご検討ください。

#Higher_order_logic #Nonclassical_logic

商品の情報

カテゴリー本・音楽・ゲーム > 本 > 洋書
商品の状態未使用に近い
7670円Handbook of Automated Reasoning Vol.II本・音楽・ゲーム本Bibliography - Programming with Higher-Order Logic
Handbook of Automated Reasoning (Volume II)

Handbook of Automated Reasoning (Volume II)


Handbook of Automated Reasoning (Volume II)

Handbook of Automated Reasoning (Volume II)


Handbook of Automated Reasoning: Robinson, J. Alan, Voronkov

Handbook of Automated Reasoning: Robinson, J. Alan, Voronkov


HANDBOOK OF AUTOMATED REASONING

HANDBOOK OF AUTOMATED REASONING


Handbook of Automated Reasoning : Vol.1-2 (Hard) (英) 自動推論

Handbook of Automated Reasoning : Vol.1-2 (Hard) (英) 自動推論


直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041

直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041


Confidences for Commonsense Reasoning | Automated Deduction – CADE 28

Confidences for Commonsense Reasoning | Automated Deduction – CADE 28


Amazon.com: Handbook of Practical Logic and Automated Reasoning

Amazon.com: Handbook of Practical Logic and Automated Reasoning


Handbook practical logic and automated reasoning | Programming

Handbook practical logic and automated reasoning | Programming


博客來-Handbook of Parallel Constraint Reasoning

博客來-Handbook of Parallel Constraint Reasoning


Handbook of Multisensor Data Fusion: Theory and Practice, Second

Handbook of Multisensor Data Fusion: Theory and Practice, Second


Handbook of Practical Logic and Automated Reasoning, John Harrison

Handbook of Practical Logic and Automated Reasoning, John Harrison


Handbook of the History of Logic | Computational Logic

Handbook of the History of Logic | Computational Logic


A Comprehensive Framework for Saturation Theorem Proving | Journal

A Comprehensive Framework for Saturation Theorem Proving | Journal


Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning


The Description Logic Handbook

The Description Logic Handbook


What are some good books on automated theorem proving? - Quora

What are some good books on automated theorem proving? - Quora


直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041

直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041


Algorithm - Wikipedia

Algorithm - Wikipedia


Bibliography - Programming with Higher-Order Logic

Bibliography - Programming with Higher-Order Logic


Using Isabelle in Two Courses on Logic and Automated Reasoning

Using Isabelle in Two Courses on Logic and Automated Reasoning


Proof assistant - Wikipedia

Proof assistant - Wikipedia


Amazon.com: Handbook of Practical Logic and Automated Reasoning

Amazon.com: Handbook of Practical Logic and Automated Reasoning


Algorithm - Wikipedia

Algorithm - Wikipedia


PDF) Handbook of practical logic and automated reasoning

PDF) Handbook of practical logic and automated reasoning


Handbook practical logic and automated reasoning | Programming

Handbook practical logic and automated reasoning | Programming


Amazon.com: Handbook of Practical Logic and Automated Reasoning

Amazon.com: Handbook of Practical Logic and Automated Reasoning


Handbook of Satisfiability | IOS Press

Handbook of Satisfiability | IOS Press


Cyclic Proofs for First-Order Logic with Inductive Definitions

Cyclic Proofs for First-Order Logic with Inductive Definitions


Automated reasoning's scientific frontiers - Amazon Science

Automated reasoning's scientific frontiers - Amazon Science


Logic in computer science - Wikipedia

Logic in computer science - Wikipedia


直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041

直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041


Handbook of Automated Scoring: Theory into Practice - 1st Edition - Du

Handbook of Automated Scoring: Theory into Practice - 1st Edition - Du


Method of analytic tableaux - Wikipedia

Method of analytic tableaux - Wikipedia


REASONING WITH BACKGROUND KNOWLEDGE–A THREE‐LEVEL THEORY

REASONING WITH BACKGROUND KNOWLEDGE–A THREE‐LEVEL THEORY


Proof assistant - Wikipedia

Proof assistant - Wikipedia


直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041

直送商品-Handbook of Automated Reasoning Vol.II UmgYI-m75273404041


Handbook practical logic and automated reasoning | Programming

Handbook practical logic and automated reasoning | Programming


Amazon.com: Handbook of Practical Logic and Automated Reasoning

Amazon.com: Handbook of Practical Logic and Automated Reasoning


Handbook of Automated Reasoning, Volume II - 1st Edition

Handbook of Automated Reasoning, Volume II - 1st Edition










もっと見る

商品の情報

カテゴリー
配送料の負担
送料込み(出品者負担)
配送の方法
ゆうゆうメルカリ便
郵便局/コンビニ受取匿名配送
発送元の地域
宮城県
発送までの日数
1~2日で発送

メルカリ安心への取り組み

お金は事務局に支払われ、評価後に振り込まれます

出品者

スピード発送

この出品者は平均24時間以内に発送しています

Handbook of Automated Reasoning Vol.II

この商品を見ている人におすすめ