Logic and Its Applications

>> Google Books

Logic and Its Applications / R. Ramanujam, Takeo Kanade, Sundar Sarukkai

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783540927006 [354092700X]
9783540927013 [3540927018]

書誌ID:

OB00354387

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LOGIC & ITS APPLICATIONS

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem

Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré

Some Second Order Set Theory (Invited Talk) / Joel David Hamkins

Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk) / Johann Makowsky

Knowledge, Games and Tales from the East (Invited Talk) / Rohit Parikh

A Para Consistent Fuzzy Logic (Invited Talk) / Esko Turunen

From Philosophical to Industrial Logics (Invited Talk) / Moshe Y. Vardi

Game Quantification Patterns / Dietmar Berwanger ; Sophie Pinchinat

Extensive Questions: From Research Agendas to Interrogative Strategies / Emmanuel J. Genot

An Analytic Logic of Aggregation / Patrick Girard ; Jeremy Seligman

Instantial Relevance in Polyadic Inductive Logic / Jürgen Landes ; Jeff Paris ; Alena Vencouská

Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic / Yoshihiro Maruyama

A General Setting for the Pointwise Investigation of Determinacy / Yurii Khomskii

A Two-Dimensional Hybrid Logic of Subset Spaces / Yi N. Wang

A Unified Framework for Certificate and Compilation for QBF / Igor Stéphan ; Benoit Da Mota

Towards Decidability of Conjugacy of Pairs and Triples / Benny George Kenkireth ; Samrith Ram

Gautama - Ontology Editor Based on Nyaya Logic / G.S. Mahalakshmi ; T. V. Geetha ; Arun Kumar ; Dinesh Kumar ; S. Manikandan

Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming

The Art of Non-asserting: Dialogue with N&abar;g&abar;rjuna / Marie-Hélène Gorisse

Author Index

Decisions, Actions, and Games: A Logical Perspective (Invited Talk) / Johan van Benthem

Machine Checking Proof Theory: An Application of Logic to Logic (Invited Talk) / Rajeev Goré

Some Second Order Set Theory (Invited Talk) / Joel David Hamkins

Connection Matrices for MSOL-Definable Structural Invariants (Invited Talk) / Johann Makowsky

Knowledge, Games and Tales from the East (Invited Talk) / Rohit Parikh

A Para Consistent Fuzzy Logic (Invited Talk) / Esko Turunen

続きを見る

ブックレビュー

類似資料:

1 電子ブック Logic and Its Applications Ramanujam, R., Kanade, Takeo, Sarukkai, Sundar, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Fuzzy Logic and Applications Ges?, Vito, Kanade, Takeo, Pal, Sankar Kumar, Petrosino, Alfredo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Sarukkai, Sundar, Kanade, Takeo, Ramanujam, R., Sen, Sandeep Springer eBooks Computer Science, Springer Berlin / Heidelberg	8 電子ブック Fuzzy Logic and Applications Fanelli, Anna Maria, Kanade, Takeo, Pedrycz, Witold, Petrosino, Alfredo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Sarukkai, Sundar, Kanade, Takeo, Ramanujam, R., Sen, Sandeep, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Fuzzy Logic and Applications Bloch, Isabelle, Kanade, Takeo, Petrosino, Alfredo, Tettamanzi, Andrea G. B. SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
4 電子ブック Logic and Its Applications Banerjee, Mohua, Kanade, Takeo, Seth, Anil Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Fuzzy Logic and Applications Fanelli, Anna Maria, Kanade, Takeo, Pedrycz, Witold, Petrosino, Alfredo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Logic and Its Applications Banerjee, Mohua, Kanade, Takeo, Seth, Anil, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Logic, Language, and Computation Bosch, Peter, Gabelaia, David, Kanade, Takeo, Lang, J?r?me Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Fuzzy Logic and Applications Bloch, Isabelle, Kanade, Takeo, Petrosino, Alfredo, Tettamanzi, Andrea G. B. Springer eBooks Computer Science, Springer Berlin / Heidelberg	12 電子ブック Fuzzy Logic and Applications Gesù, Vito, Kanade, Takeo, Pal, Sankar Kumar, Petrosino, Alfredo, Di Gesù, Vito SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12