Computing Theory Prime Implicates in Modal Logic. Raut, M. K., Kokane, T. V., & Agarwal, R. In Abraham, A., Muhuri, P. K., Muda, A. K., & Gandhi, N., editors, Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017, volume 736, of Advances in Intelligent Systems and Computing, pages 273–282, 2017. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/isda/RautKA17,
author = {Manoj K. Raut and
Tushar V. Kokane and
Rishabh Agarwal},
editor = {Ajith Abraham and
Pranab Kumar Muhuri and
Azah Kamilah Muda and
Niketa Gandhi},
title = {Computing Theory Prime Implicates in Modal Logic},
booktitle = {Intelligent Systems Design and Applications - 17th International Conference
on Intelligent Systems Design and Applications {(ISDA} 2017) Held
in Delhi, India, December 14-16, 2017},
series = {Advances in Intelligent Systems and Computing},
volume = {736},
pages = {273--282},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-76348-4\_27},
doi = {10.1007/978-3-319-76348-4\_27},
timestamp = {Wed, 05 May 2021 12:03:29 +0200},
biburl = {https://dblp.org/rec/conf/isda/RautKA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"2xSgj2CyhSpsFDiuq","bibbaseid":"raut-kokane-agarwal-computingtheoryprimeimplicatesinmodallogic-2017","author_short":["Raut, M. K.","Kokane, T. V.","Agarwal, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Manoj","K."],"propositions":[],"lastnames":["Raut"],"suffixes":[]},{"firstnames":["Tushar","V."],"propositions":[],"lastnames":["Kokane"],"suffixes":[]},{"firstnames":["Rishabh"],"propositions":[],"lastnames":["Agarwal"],"suffixes":[]}],"editor":[{"firstnames":["Ajith"],"propositions":[],"lastnames":["Abraham"],"suffixes":[]},{"firstnames":["Pranab","Kumar"],"propositions":[],"lastnames":["Muhuri"],"suffixes":[]},{"firstnames":["Azah","Kamilah"],"propositions":[],"lastnames":["Muda"],"suffixes":[]},{"firstnames":["Niketa"],"propositions":[],"lastnames":["Gandhi"],"suffixes":[]}],"title":"Computing Theory Prime Implicates in Modal Logic","booktitle":"Intelligent Systems Design and Applications - 17th International Conference on Intelligent Systems Design and Applications (ISDA 2017) Held in Delhi, India, December 14-16, 2017","series":"Advances in Intelligent Systems and Computing","volume":"736","pages":"273–282","publisher":"Springer","year":"2017","url":"https://doi.org/10.1007/978-3-319-76348-4_27","doi":"10.1007/978-3-319-76348-4_27","timestamp":"Wed, 05 May 2021 12:03:29 +0200","biburl":"https://dblp.org/rec/conf/isda/RautKA17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isda/RautKA17,\n author = {Manoj K. Raut and\n Tushar V. Kokane and\n Rishabh Agarwal},\n editor = {Ajith Abraham and\n Pranab Kumar Muhuri and\n Azah Kamilah Muda and\n Niketa Gandhi},\n title = {Computing Theory Prime Implicates in Modal Logic},\n booktitle = {Intelligent Systems Design and Applications - 17th International Conference\n on Intelligent Systems Design and Applications {(ISDA} 2017) Held\n in Delhi, India, December 14-16, 2017},\n series = {Advances in Intelligent Systems and Computing},\n volume = {736},\n pages = {273--282},\n publisher = {Springer},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-76348-4\\_27},\n doi = {10.1007/978-3-319-76348-4\\_27},\n timestamp = {Wed, 05 May 2021 12:03:29 +0200},\n biburl = {https://dblp.org/rec/conf/isda/RautKA17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Raut, M. K.","Kokane, T. V.","Agarwal, R."],"editor_short":["Abraham, A.","Muhuri, P. K.","Muda, A. K.","Gandhi, N."],"key":"DBLP:conf/isda/RautKA17","id":"DBLP:conf/isda/RautKA17","bibbaseid":"raut-kokane-agarwal-computingtheoryprimeimplicatesinmodallogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-76348-4_27"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/210/6453.bib","dataSources":["zaWK5KkeoiPqWX9QC"],"keywords":[],"search_terms":["computing","theory","prime","implicates","modal","logic","raut","kokane","agarwal"],"title":"Computing Theory Prime Implicates in Modal Logic","year":2017}