LEADER 03570nam  22007335  450 
001 996466051603316
005 20200629155623.0
010   $a3-642-18026-4
024 7 $a10.1007/978-3-642-18026-2
035   $a(CKB)2670000000064745
035   $a(SSID)ssj0000476372
035   $a(PQKBManifestationID)11315895
035   $a(PQKBTitleCode)TC0000476372
035   $a(PQKBWorkID)10480080
035   $a(PQKB)10069398
035   $a(DE-He213)978-3-642-18026-2
035   $a(MiAaPQ)EBC3066248
035   $a(PPN)149902697
035   $a(EXLCZ)992670000000064745
100   $a20101210d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic and Its Applications$b[electronic resource] $eFourth Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011, Proceedings /$fedited by Mohua Banerjee, Anil Seth
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 219 p. 12 illus.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v6521
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-18025-6 
320   $aIncludes bibliographical references and index.
330   $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 4th Indian Conference on Logic and Its Applications, ICLA 2011, held in Delhi, India, in January 2011. The 14 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 34 submissions. The papers present current research in all aspects of formal logic ranging from pure and applied logic to history of logic.
410  0$aLecture Notes in Artificial Intelligence ;$v6521
606   $aArtificial intelligence
606   $aComputer logic
606   $aAlgorithms
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
615  0$aArtificial intelligence.
615  0$aComputer logic.
615  0$aAlgorithms.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615 14$aArtificial Intelligence.
615 24$aLogics and Meanings of Programs.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aMathematical Logic and Formal Languages.
615 24$aArtificial Intelligence.
615 24$aMathematics of Computing.
676   $a006.3
702   $aBanerjee$b Mohua$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeth$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466051603316
996   $aLogic and its applications$9743287
997   $aUNISA