東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Logic and its applications = 7th Ind...

ICLA (Conference : Logic) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Logic and its applications/ edited by Sujata Ghosh, Sanjiva Prasad.
Reminder of title:	7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
remainder title:	ICLA 2017
other author:	Ghosh, Sujata.
corporate name:	ICLA (Conference : Logic)
Published:	Berlin, Heidelberg :Springer Berlin Heidelberg : : 2017.,
Description:	x, 239 p. :ill., digital ;24 cm.
[NT 15003449]:	Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Buchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.
Contained By:	Springer eBooks
Subject:	Logic, Symbolic and mathematical - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-662-54069-5
ISBN:	9783662540695

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
Logic and its applications7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /[electronic resource] :ICLA 2017edited by Sujata Ghosh, Sanjiva Prasad. - Berlin, Heidelberg :Springer Berlin Heidelberg :2017. - x, 239 p. :ill., digital ;24 cm. - Lecture notes in computer science,101190302-9743 ;. - Lecture notes in computer science ;10119..

Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Buchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.

ISBN: 9783662540695

Standard No.: 10.1007/978-3-662-54069-5doiSubjects--Topical Terms:

658487
Logic, Symbolic and mathematical
--Congresses.

LC Class. No.: QA9.A1 / I24 2017

Dewey Class. No.: 511.3

Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
LDR:02897nmm a2200349 a 4500 001 2089018
003 DE-He213
005 20161202191554.0
006 m d
007 cr nn 008maaau
008 171013s2017 gw s 0 eng d
020 $a 9783662540695 $q (electronic bk.)
020 $a 9783662540688 $q (paper)
024 7 $a 10.1007/978-3-662-54069-5 $2 doi
035 $a 978-3-662-54069-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.A1 $b I24 2017
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a COM051010 $2 bisacsh
082 0 4 $a 511.3 $2 23
090 $a QA9.A1 $b I24 2017
111 2 $a ICLA (Conference : Logic) $n (7th : $d 2017 : $c Kanpur, India) $3 3219271
245 1 0 $a Logic and its applications $h [electronic resource] : $b 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings / $c edited by Sujata Ghosh, Sanjiva Prasad.
246 3 $a ICLA 2017
260 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2017.
300 $a x, 239 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10119
505 0 $a Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Buchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce's Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.
520 $a This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic.
650 0 $a Logic, Symbolic and mathematical $x Congresses. $3 658487
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Software Engineering. $3 890874
700 1 $a Ghosh, Sujata. $3 2165774
700 1 $a Prasad, Sanjiva. $3 1071439
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10119. $3 3219272
856 4 0 $u http://dx.doi.org/10.1007/978-3-662-54069-5
950 $a Computer Science (Springer-11645)