ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Reger, G. & Traytel, D., editors Volume 51of EPiC Series in ComputingEasyChair. 2017. Paper bibtex @proceedings{DBLP:conf/cade/2017arcade,
editor = {Giles Reger and
Dmitriy Traytel},
title = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
publisher = {EasyChair},
year = {2017},
url = {https://easychair.org/publications/volume/ARCADE\_2017},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/2017arcade.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"Q8E9hTM6vze8pMGNX","bibbaseid":"reger-traytel-arcade20171stinternationalworkshoponautomatedreasoningchallengesapplicationsdirectionsexemplaryachievementsgothenburgsweden6thaugust2017-2017","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017","series":"EPiC Series in Computing","volume":"51","publisher":"EasyChair","year":"2017","url":"https://easychair.org/publications/volume/ARCADE_2017","timestamp":"Fri, 13 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/2017arcade.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cade/2017arcade,\n editor = {Giles Reger and\n Dmitriy Traytel},\n title = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:\n Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,\n Sweden, 6th August 2017},\n series = {EPiC Series in Computing},\n volume = {51},\n publisher = {EasyChair},\n year = {2017},\n url = {https://easychair.org/publications/volume/ARCADE\\_2017},\n timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/2017arcade.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Reger, G.","Traytel, D."],"key":"DBLP:conf/cade/2017arcade","id":"DBLP:conf/cade/2017arcade","bibbaseid":"reger-traytel-arcade20171stinternationalworkshoponautomatedreasoningchallengesapplicationsdirectionsexemplaryachievementsgothenburgsweden6thaugust2017-2017","role":"editor","urls":{"Paper":"https://easychair.org/publications/volume/ARCADE_2017"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["arcade","2017","1st","international","workshop","automated","reasoning","challenges","applications","directions","exemplary","achievements","gothenburg","sweden","6th","august","2017"],"title":"ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017","year":2017}