ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics. Benzmüller, C. & Otten, J., editors Volume 33of EPiC Series in ComputingEasyChair. 2015.
Paper bibtex 1 download @proceedings{E14,
Comment = {<a href="http://www.iltp.de/ARQNL-2014/">event-website</a>},
Editor = {Christoph Benzm{\"u}ller and Jens Otten},
issn = {2398-7340},
Pages = {1-86},
Publisher = {EasyChair},
Series = {EPiC Series in Computing},
Title = {ARQNL 2014. Automated Reasoning in Quantified
Non-Classical Logics},
Url =
{https://easychair.org/publications/volume/ARQNL_2014/},
Volume = 33,
Year = 2015,
}
Downloads: 1
{"_id":"X3WnYwfsjxidDRa4N","bibbaseid":"benzmller-otten-arqnl2014automatedreasoninginquantifiednonclassicallogics-2015","bibdata":{"bibtype":"proceedings","type":"proceedings","comment":"<a href=\"http://www.iltp.de/ARQNL-2014/\">event-website</a>","editor":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Otten"],"suffixes":[]}],"issn":"2398-7340","pages":"1-86","publisher":"EasyChair","series":"EPiC Series in Computing","title":"ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics","url":"https://easychair.org/publications/volume/ARQNL_2014/","volume":"33","year":"2015","bibtex":"@proceedings{E14,\n Comment =\t {<a href=\"http://www.iltp.de/ARQNL-2014/\">event-website</a>},\n Editor =\t {Christoph Benzm{\\\"u}ller and Jens Otten},\n issn =\t {2398-7340},\n Pages =\t {1-86},\n Publisher =\t {EasyChair},\n Series =\t {EPiC Series in Computing},\n Title =\t {ARQNL 2014. Automated Reasoning in Quantified\n Non-Classical Logics},\n Url =\n {https://easychair.org/publications/volume/ARQNL_2014/},\n Volume =\t 33,\n Year =\t 2015,\n}\n\n","editor_short":["Benzmüller, C.","Otten, J."],"key":"E14","id":"E14","bibbaseid":"benzmller-otten-arqnl2014automatedreasoninginquantifiednonclassicallogics-2015","role":"editor","urls":{"Paper":"https://easychair.org/publications/volume/ARQNL_2014/"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"proceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["arqnl","2014","automated","reasoning","quantified","non","classical","logics"],"title":"ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics","year":2015,"downloads":1}