LEADER 03720nam  22007575  450 
001 9910337583403321
005 20251225190521.0
010   $a3-662-58771-8
024 7 $a10.1007/978-3-662-58771-3
035   $a(CKB)4100000007656660
035   $a(DE-He213)978-3-662-58771-3
035   $a(MiAaPQ)EBC5918933
035   $a(PPN)235004030
035   $a(EXLCZ)994100000007656660
100   $a20190204d2019      u|         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogic and Its Applications $e8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /$fedited by Md. Aquil Khan, Amaldev Manuel
205   $a1st ed. 2019.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2019.
215   $a1 online resource (XVI, 195 p. 296 illus., 7 illus. in color.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11600
311 08$a3-662-58770-X 
320   $aIncludes bibliographical references and index.
327   $aMathematical and philosophical logic -- Logic in Computer Science -- Foundations and philosophy of mathematics and the sciences -- Use of formal logic in areas of theoretical computer science and artificial intelligence -- Logic and Linguistics. History of logic -- Indian systems of logic.
330   $aThis book collects the refereed proceedings of the 8th Indian Conference on Logic and Its Applications, ICLA 2019, held in Delhi, India, in March 2019. The volume contains 13 full revised papers along with 6 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11600
606   $aMachine theory
606   $aLogic programming
606   $aAlgorithms
606   $aSoftware engineering
606   $aArtificial intelligence$xData processing
606   $aComputer science$xMathematics
606   $aDiscrete mathematics
606   $aFormal Languages and Automata Theory
606   $aLogic in AI
606   $aAlgorithms
606   $aSoftware Engineering
606   $aData Science
606   $aDiscrete Mathematics in Computer Science
615  0$aMachine theory.
615  0$aLogic programming.
615  0$aAlgorithms.
615  0$aSoftware engineering.
615  0$aArtificial intelligence$xData processing.
615  0$aComputer science$xMathematics.
615  0$aDiscrete mathematics.
615 14$aFormal Languages and Automata Theory.
615 24$aLogic in AI.
615 24$aAlgorithms.
615 24$aSoftware Engineering.
615 24$aData Science.
615 24$aDiscrete Mathematics in Computer Science.
676   $a511.3
702   $aKhan$b Md. Aquil$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aManuel$b Amaldev$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910337583403321
996   $aLogic and its applications$9743287
997   $aUNINA