縮小範圍

商品類型

原文書（7）

商品狀況

可訂購商品（7）

庫存狀況

無庫存（7）

商品定價

$800以上（7）

出版日期

2016~2017 （1）

2016年以前（6）

裝訂方式

平裝（4）

精裝（3）

作者

Edmund Clarke (EDT)/ Irina Virbitskaite (EDT)/ Andrei Voronkov (EDT) （1）

Edmund M. Clarke (EDT)/ Andrei Voronkov (EDT) （1）

Iliano Cervesato (EDT)/ Helmut Veith (EDT)/ Andrei Voronkov (EDT) （1）

J. A. Robinson, Andrei Voronkov （1）

J. A. Robinson, Andrei Voronkov, Alan Robinson （1）

出版社/品牌

Springer-Verlag New York Inc （4）

Mit Pr （3）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共7筆商品，1/1頁

Handbook of Automated Reasoning

作者：J. A. Robinson; Andrei Voronkov; J. A. Robinson; Andrei Voronkov 出版社：Mit Pr 出版日：2001/07/20 裝訂：精裝

A comprehensive resource on automated reasoning and its applications.

到貨時通知我

缺貨無法訂購

Handbook of Automated Reasoning

作者：J. A. Robinson; Andrei Voronkov 出版社：Mit Pr 出版日：2001/07/20 裝訂：精裝

Automated reasoning has matured into one of the most advanced areas of computer science. It is used in many areas of the field, including software and hardware verification, logic and functional progr

到貨時通知我

缺貨無法訂購

Logic for Programming, Artificial Intelligence, and Reasoning

作者：Edmund M. Clarke (EDT); Andrei Voronkov (EDT) 出版社：Springer-Verlag New York Inc 出版日：2011/03/09 裝訂：平裝

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook pl

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

90折

Perspectives of System Informatics ― 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

作者：Manuel Mazzara (EDT); Andrei Voronkov (EDT) 出版社：Springer-Verlag New York Inc 出版日：2016/06/28 裝訂：平裝

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015. The 2 invited and 23 full

定價：3690 元，優惠價：9 3321

無庫存，下單後進貨(到貨天數約30-45天)

Handbook of Automated Reasoning

作者：J. A. Robinson; Andrei Voronkov; Alan Robinson 出版社：Mit Pr 出版日：2001/07/20 裝訂：精裝

A comprehensive resource on automated reasoning and its applications.

到貨時通知我

缺貨無法訂購

Perspectives of Systems Informatics — 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

作者：Edmund Clarke (EDT); Irina Virbitskaite (EDT); Andrei Voronkov (EDT) 出版社：Springer-Verlag New York Inc 出版日：2012/09/30 裝訂：平裝

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibir

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

Logic for Programming, Artificial Intelligence, and Reasoning ─ 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

作者：Iliano Cervesato (EDT); Helmut Veith (EDT); Andrei Voronkov (EDT) 出版社：Springer-Verlag New York Inc 出版日：2008/12/01 裝訂：平裝

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during

無法訂購

若需訂購本書，請電洽客服
02-25006600[分機130、131]。

共7 筆
1 頁

熱搜：

巴奈回家

巨人思維

艾莉絲‧孟若

老公怎麼還不去死

我36歲就退休

臺灣民間信仰孤娘的奉祀

我為廉署當卧底的日子

為妳煮食

漫畫少年學墨菲定律

新基本小六法

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Handbook of Automated Reasoning

Handbook of Automated Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of System Informatics ― 10th International Andrei Ershov Informatics Conference, Revised Selected Papers

Handbook of Automated Reasoning

Perspectives of Systems Informatics — 8th International Andrei Ershov Memorial Conference, Psi 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning ─ 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings