PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE

Inbunden, Engelska, 2015

1 593 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume provides a forum which highlights new achievements and overviews of recent developments of the thriving logic groups in the Asia-Pacific region. It contains papers by leading logicians and also some contributions in computer science logics and philosophic logics.

Produktinformation

Utgivningsdatum:2015-04-29
Mått:157 x 235 x 18 mm
Vikt:524 g
Format:Inbunden
Språk:Engelska
Antal sidor:254
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789814675994

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jorg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and Andre Nies); Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey, Keng Meng Ng); Degree Spectra of Equivalence Relations (Liang Yu); Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda); Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo); Large Cardinals and Higher Degree Theory (Xianghui Shi); Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov); On Categorical Relationship Among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty); Realizability and Existence Property of a Constructive Set Theory with Types (F Kachapova); A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama); On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano); Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu); A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles);

Du kanske också är intresserad av

PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY

Arai Toshiyasu, Toshiyasu Arai, Qi Feng, Byunghan Kim, Guohua Wu, Yue Yang

Inbunden, 2011

1 466 kr

PROCEEDINGS OF THE 14TH AND 15TH ASIAN LOGIC CONFERENCES

Kim Byunghan, Byunghan Kim, Jörg Brendle, Gyesik Lee, Fenrong Liu, R Ramanujam, Shashi M Srivastava, Akito Tsuboi, Liang Yu

Inbunden, 2019

1 644 kr

Theory and Applications of Satisfiability Testing – SAT 2008

Hans Kleine Büning, Xishun Zhao

Häftad, 2008

564 kr

Del 53

Simplicity Theory

Byunghan Kim

Inbunden, 2013

1 611 kr

PROCEEDINGS OF THE 12TH ASIAN LOGIC CONFERENCE

Downey Rod, Rod Downey, Jörg Brendle, Robert Goldblatt, Byunghan Kim

Inbunden, 2013

1 848 kr

Theory and Applications of Satisfiability Testing - SAT 2008

Xishun Zhao, Hans Kleine Buning

E-bok

2008

718 kr

Simplicity Theory

Byunghan Kim

E-bok

2013

1 345 kr

Recursion Theory

Liang Yu, Chi Tat Chong

E-bok

2015

2 121 kr

Recursion Theory

Liang Yu, Chi Tat Chong

E-bok

2015

2 121 kr

Del 8

Recursion Theory

Chi Tat Chong, Liang Yu

Inbunden, 2015

2 079 kr

PROCEEDINGS OF THE 13TH ASIAN LOGIC CONFERENCE

AvZhao Xishun,Xishun Zhao

Inbunden, Engelska, 2015

1 593 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2015-04-29
Mått:157 x 235 x 18 mm
Vikt:524 g
Format:Inbunden
Språk:Engelska
Antal sidor:254
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789814675994

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

An Analogy Between Cardinal Characteristics and Highness Properties of Oracles (Jorg Brendle, Andrew Brooke-Taylor, Keng Meng Ng and Andre Nies); Minimal Pairs in the C. E. Truth-Table Degrees (Rod Downey, Keng Meng Ng); Degree Spectra of Equivalence Relations (Liang Yu); Some Questions Concerning Ab Initio Generic Structures (Koichiro Ikeda); Model Complete Generic Structures (Koichiro Ikeda and Hirotaka Kikyo); Large Cardinals and Higher Degree Theory (Xianghui Shi); Characterization of the Second Homology Group of a Stationary Type in a Stable Theory (John Goodrick, Byunghan Kim and Alexei Kolesnikov); On Categorical Relationship Among Various Fuzzy Topological Systems, Fuzzy Topological Spaces and Related Algebraic Structures (Purbita Jana and Mihir K Chakraborty); Realizability and Existence Property of a Constructive Set Theory with Types (F Kachapova); A Non-Uniformly C-Productive Sequence & Non-Constructive Disjunctions (John Case, Michael Ralston and Yohji Akama); On Extensions of Basic Propositional Logic (Minghui Ma and Katsuhiko Sano); Goal-Directed Unbounded Coalitional Game and Its Complexity (Hu Liu); A Survey on Recent Results on Partial Learning (Ziyuan Gao, Sanjay Jain, Frank Stephan and Sandra Zilles);