Handbook of Automated Reasoning Vol.II

ご覧頂きありがとうございます。 
即購入大歓迎です。質問も大歓迎です。 
 
【送料込み、匿名配送】です。 
 
※この商品は配送方法をゆうゆうメルカリ便にしていますが、購入者の承諾を得を得た上で、らくらくメルカリ便に変更するかもしれません。（どちらも匿名配送です。変えるとご都合の悪い方はコメントしてください。） 
 
未読です。 
 
●タイトル：Handbook of Automated Reasoning Volume II 
●著者：#Alan_Robinson #AlanRobinson #Andrei_Voronkov #AndreiVoronkov 
 
●ヤケ：なし ●シミ：なし ●汚れ：なし 
●破れ：なし ●スレ：なし ●キズ：なし 
●折れ：なし ●書き込み：なし 
●ページ開き癖：なし 
●ペット臭、タバコ臭：なし 
 
●その他、注意事項： 
非常に良い状態ですが、一応中古品ということをご理解の上ご検討ください。 
 
#Higher_order_logic #Nonclassical_logic
商品の情報
カテゴリー
本・音楽・ゲーム > 本 > 洋書
商品の状態
未使用に近い
7670円Handbook of Automated Reasoning Vol.II本・音楽・ゲーム本 Version 1.5  by Inference Corporation on Julians Books

Handbook of Automated Reasoning : Volume II


Handbook of Automated Reasoning : Volume II


Handbook of Automated Reasoning


Handbook of Practical Logic and Automated Reasoning


Handbook of Automated Reasoning Vol.II - 通販 - gofukuyasan.com


Automated Reasoning: 11th International Joint Conference, IJCAR


Handbook of Automated Scoring


Automation of Reasoning


Two New Books in Automated Reasoning


ART-IM - AUTOMATED REASONING TOOL FOR INFORMATION MANAGEMENT, Version 1.5  by Inference Corporation on Julian's Books


Handbook of Automated Reasoning Vol.II - 通販 - gofukuyasan.com


Handbook on Computer Learning and Intelligence


Automated Reasoning and Its Applicat..., Veroff, Robert


Fundamentals of Logic and Computation: With Practical Automated


Handbook of Practical Logic and Automated Reasoning


Handbook of Multisensor Data Fusion: Theory and Practice, Second Editi


Journal of Automated Reasoning 2001: Vol 27 Table of Contents


Handbook of Automated Reasoning Vol.II - 通販 - gofukuyasan.com


Handbook of Automated Reasoning : Vol.1-2 (Hard) (英) 自動推論ハンドブック


Fundamentals of Artificial Intelligence: Problem Solving and


Handbook of Practical Logic and Automated... by Harrison, John


Handbook of Automated Reasoning, Volume II - 1st Edition


Handbook of Automated Reasoning Vol.II - 通販 - gofukuyasan.com


Games for Your Mind | Princeton University Press


List of Publications


Automated Testing Unleashed : The Complete Handbook - Automate The


ART-IM - AUTOMATED REASONING TOOL FOR INFORMATION MANAGEMENT


Christoph Matheja | Informatik 2


Automated Reasoning


博客來-Handbook of Parallel Constraint Reasoning


Handbook of Automated Reasoning Vol.II - 通販 - gofukuyasan.com


Algorithm - Wikipedia


Handbook of automated reasoning : Free Download, Borrow, and


COMP60121: Automated Reasoning, Part II Advanced Topics


Reporting on artificial intelligence: a handbook for journalism


The Routledge Social Science Handbook of AI - 1st Edition - Anthony El


Collected Works Of Larry Wos, The (In 2 Volumes) | Book hardback


Handbook of Practical Logic and Automated... by Harrison, John


Handbook of Satisfiability | IOS Press


Electronics | Free Full-Text | Development of Evaluation Criteria