Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings

DOI10.1007/978-3-662-54069-5zbMATH Open1416.03005OpenAlexW2559285224MaRDI QIDQ2314233

Author name not available (Why is that?)

Publication date: 19 July 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54069-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03Bxx)

Related Items (4)

Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1--5, 2019. Proceedings ⋮ On the logical philosophy of assertive graphs ⋮ Sequent calculi for first-order ST ⋮ Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7--11, 2009. Proceedings

This page was built for publication: Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5--7, 2017. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2314233)