Machine Learning for Automated Theorem Proving. Kakkad, A. , 2009. bibtex @Article{Kakkad2009,
author = {Kakkad, A.},
title = {Machine Learning for Automated Theorem Proving},
journal = {},
volume = {},
number = {},
pages = {},
year = {2009},
abstract = {},
location = {},
keywords = {}}
Downloads: 0
{"_id":"vttpTP2HaoynAHv26","bibbaseid":"kakkad-machinelearningforautomatedtheoremproving-2009","authorIDs":[],"author_short":["Kakkad, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kakkad"],"firstnames":["A."],"suffixes":[]}],"title":"Machine Learning for Automated Theorem Proving","journal":"","volume":"","number":"","pages":"","year":"2009","abstract":"","location":"","keywords":"","bibtex":"@Article{Kakkad2009,\nauthor = {Kakkad, A.}, \ntitle = {Machine Learning for Automated Theorem Proving}, \njournal = {}, \nvolume = {}, \nnumber = {}, \npages = {}, \nyear = {2009}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Kakkad, A."],"key":"Kakkad2009","id":"Kakkad2009","bibbaseid":"kakkad-machinelearningforautomatedtheoremproving-2009","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","creationDate":"2020-01-27T02:13:34.481Z","downloads":0,"keywords":[],"search_terms":["machine","learning","automated","theorem","proving","kakkad"],"title":"Machine Learning for Automated Theorem Proving","year":2009,"dataSources":["hEoKh4ygEAWbAZ5iy"]}