{"_id":"MxWyw24FYAzrsKhLt","bibbaseid":"armando-gallagher-smaill-bundy-automatingthesynthesisofdecisionproceduresinaconstructivemetatheory-1998","downloads":0,"creationDate":"2016-08-26T09:24:47.220Z","title":"Automating the synthesis of decision procedures in a constructive metatheory","author_short":["Armando, A.","Gallagher, J.","Smaill, A.","Bundy, A."],"year":1998,"bibtype":"article","biburl":"http://ec2-52-59-247-135.eu-central-1.compute.amazonaws.com/ai.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["Alessandro"],"suffixes":[]},{"propositions":[],"lastnames":["Gallagher"],"firstnames":["Jason"],"suffixes":[]},{"propositions":[],"lastnames":["Smaill"],"firstnames":["Alan"],"suffixes":[]},{"propositions":[],"lastnames":["Bundy"],"firstnames":["Alan"],"suffixes":[]}],"title":"Automating the synthesis of decision procedures in a constructive metatheory","journal":"Annals of Mathematics and Artificial Intelligence","volume":"22","number":"3-4","year":"1998","issn":"1012-2443","pages":"259--279","doi":"10.1023/A:1018943603394","url":"http://www.ai-lab.it/armando/pub/AMAI3.pdf","publisher":"Kluwer Academic Publishers","address":"Hingham, MA, USA","bibtex":"@article{590236,\n author = {Armando, Alessandro and Gallagher, Jason and Smaill, Alan and Bundy, Alan},\n title = {Automating the synthesis of decision procedures in a constructive metatheory},\n journal = {Annals of Mathematics and Artificial Intelligence},\n volume = {22},\n number = {3-4},\n year = {1998},\n issn = {1012-2443},\n pages = {259--279},\n doi = {10.1023/A:1018943603394},\n url = {http://www.ai-lab.it/armando/pub/AMAI3.pdf},\n publisher = {Kluwer Academic Publishers},\n address = {Hingham, MA, USA}\n}\n\n","author_short":["Armando, A.","Gallagher, J.","Smaill, A.","Bundy, A."],"key":"590236","id":"590236","bibbaseid":"armando-gallagher-smaill-bundy-automatingthesynthesisofdecisionproceduresinaconstructivemetatheory-1998","role":"author","urls":{"Paper":"http://www.ai-lab.it/armando/pub/AMAI3.pdf"},"downloads":0},"search_terms":["automating","synthesis","decision","procedures","constructive","metatheory","armando","gallagher","smaill","bundy"],"keywords":["dblp"],"authorIDs":[],"dataSources":["sjwHXeqZidkB6GRgD"]}