縮小範圍

商品類型

繁體書（1）

原文書（4）

商品狀況

可訂購商品（5）

庫存狀況

無庫存（5）

商品定價

$800以上（5）

出版日期

2016年以前（5）

裝訂方式

平裝（3）

精裝（2）

作者

Anuj Dawar (EDT)/ Ruy De Queiroz (EDT) （1）

Leonid Libkin (EDT)/ Ulrich Kohlenbach (EDT)/ Ruy De Queiroz (EDT) （1）

Maria Manzano/ Ruy J. G. B. De Queiroz (TRN) （1）

Ruy J. G. B. De Queiroz/ Anjolina G. de Oliveria/ Dov M. Gabbay （1）

Valeria De Paiva (EDT)/ Ruy De Queiroz (EDT)/ Lawrence S. Moss (EDT)/ Daniel Leivant (EDT)/ Anjolina De Oliveira (EDT) （1）

出版社/品牌

Springer Verlag （2）

Oxford Univ Pr on Demand （1）

Springer-Verlag New York Inc （1）

World Scientific Pub Co Inc （1）

三民網路書店 / 搜尋結果

搜尋條件

商品類型

商品狀況

庫存狀況

商品定價

出版日期

裝訂方式

作者

出版社/品牌

關閉

共5筆商品，1/1頁

Logic, Language, Information and Computation

作者：Anuj Dawar (EDT); Ruy De Queiroz (EDT) 出版社：Springer-Verlag New York Inc 出版日：2010/07/14 裝訂：平裝

This book is edited in collaboration with FoLLI, the Association of Logic, Language and Information. It constitutes the proceedings of the 17th International Workshop on Logic, Language, Information a

無法訂購

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

滿額折

Logic, Language, Information, and Computation ― 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

作者：Leonid Libkin (EDT); Ulrich Kohlenbach (EDT); Ruy De Queiroz (EDT) 出版社：Springer Verlag 出版日：2013/08/08 裝訂：平裝

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communica

定價：3240 元，優惠價：1 3240

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

Model Theory

作者：Maria Manzano; Ruy J. G. B. De Queiroz (TRN) 出版社：Oxford Univ Pr on Demand 出版日：1999/07/08 裝訂：精裝

Formal logic, free from the ambiguities of natural languages, is especially suited for use in computing. In turn, model theory, which is concerned with the relationship between mathematical structures

無法訂購

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

滿額折

The Functional Interpretation of Logical Deduction

作者：Ruy J. G. B. De Queiroz; Anjolina G. de Oliveria; Dov M. Gabbay 出版社：World Scientific Pub Co Inc 出版日：2011/11/04 裝訂：精裝

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an o

定價：3740 元，優惠價：9 3366

無庫存，下單後進貨(採購期約4~10個工作天)

90折

Logic, Language, Information, and Computation ― 22nd International Workshop, Wollic 2015, Bloomington, In, USA, July 20-23, 2015, Proceedings

作者：Valeria De Paiva (EDT); Ruy De Queiroz (EDT); Lawrence S. Moss (EDT); Daniel Leivant (EDT); Anjolina De Oliveira (EDT) 出版社：Springer Verlag 出版日：2015/07/07 裝訂：平裝

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computati

定價：2000 元，優惠價：9 1800

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

共5 筆
1 頁

熱搜：

漫畫少年學墨菲定律

電影與文化冷戰

Sad Trombone

雷驤

佛法是科學的終極典範

新譯六祖壇經

DragonMasters 1-23

新基本小六法