縮小範圍

商品類型

原文書（7）

商品狀況

可訂購商品（7）

庫存狀況

無庫存（7）

商品定價

$800以上（7）

出版日期

2017年以前（7）

裝訂方式

平裝（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

缺貨無法訂購

到貨時通知我

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

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

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

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]。

無法訂購

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.

缺貨無法訂購

到貨時通知我

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]。

無法訂購

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]。

無法訂購

共7 筆
1 頁

熱搜：

難哄-Netflix熱播同名電視劇原著小說

段位

哥吉拉大解剖圖鑑

UFO Cat

節能LED燈泡

史坎德3新上市

2025線上國際書展

特價字典展

公務員每月一書

川普

縮小範圍

三民網路書店 / 搜尋結果

搜尋條件

Handbook of Automated Reasoning

Handbook of Automated Reasoning

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

Logic for Programming, Artificial Intelligence, and Reasoning

Handbook of Automated Reasoning

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

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