Logic and its applications : 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: ICLA 2019
• Further Information: Note: Md. Aquil Khan, Amaldev Manuel (eds.).
• Editors: Khan, Md. Aquil; Manuel, Amaldev
• Other Names: ICLA (Conference : Logic), 8th
• Contents: Mathematical 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.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2019
• Extent: 1 online resource (xvi, 195 pages), illustrations (some color)
• Subjects: 511.3; Logic, Symbolic and mathematical -- Congresses; Logic, Symbolic and mathematical; Mathematical Logic and Formal Languages; Logic in AI; Algorithm Analysis and Problem Complexity; Software Engineering; Data Structures; Discrete Mathematics in Computer Science; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783662587713; 3662587718
• Related ISBNs: 9783662587706
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed February 20, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.