Workshop Report on "Automated Reasoning: Bridging the Gap Between Theory and Practice''. Frisch, A. M. AISB Quaterly, Summer, 1994. bibtex @article{ Frisch/94/Workshop,
author = {Alan M. Frisch},
title = {Workshop Report on "Automated Reasoning: Bridging the Gap Between Theory and Practice''},
journal = {AISB Quaterly},
month = {Summer},
pages = {47--49},
number = {88},
year = {1994}
}
Downloads: 0
{"_id":{"_str":"5203867ed40bcbb041000eb0"},"__v":9,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Frisch, A.<nbsp>M."],"bibbaseid":"frisch-workshopreportonautomatedreasoningbridgingthegapbetweentheoryandpractice3939-1994","bibdata":{"author":["Frisch, Alan M."],"author_short":["Frisch, A.<nbsp>M."],"bibtex":"@article{ Frisch/94/Workshop,\n author = {Alan M. Frisch},\n title = {Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice''},\n journal = {AISB Quaterly},\n month = {Summer},\n pages = {47--49},\n number = {88},\n year = {1994}\n}","bibtype":"article","id":"Frisch/94/Workshop","journal":"AISB Quaterly","key":"Frisch/94/Workshop","month":"Summer","number":"88","pages":"47--49","title":"Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice''","type":"article","year":"1994","bibbaseid":"frisch-workshopreportonautomatedreasoningbridgingthegapbetweentheoryandpractice3939-1994","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/alan-m-frisch/?format=bibtex","downloads":0,"keywords":[],"search_terms":["workshop","report","automated","reasoning","bridging","gap","between","theory","practice","frisch"],"title":"Workshop Report on \"Automated Reasoning: Bridging the Gap Between Theory and Practice''","title_words":["workshop","report","automated","reasoning","bridging","gap","between","theory","practice"],"year":1994,"dataSources":["jQ9mqaWfZRivmkPSw"]}