Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction. Jr, C. D. P. Ph.D. Thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, June, 1993. bibtex @phdthesis{ Page/93/Anti-unification,
author = {C. David Page Jr},
title = {Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction},
school = {Department of Computer Science, University of Illinois at Urbana-Champaign},
month = {June} ,
year = {1993}
}
Downloads: 0
{"_id":{"_str":"51f842da59ced8df44001d1f"},"__v":7,"authorIDs":["5456e8af8b01c81930000051"],"author_short":["Jr, C. D. P."],"bibbaseid":"jr-antiunificationinconstraintlogicsfoundationsandapplicationstolearnabilityinfirstorderlogictospeeduplearningandtodeduction-1993","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["C.","David","Page"],"propositions":[],"lastnames":["Jr"],"suffixes":[]}],"title":"Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction","school":"Department of Computer Science, University of Illinois at Urbana-Champaign","month":"June","year":"1993","bibtex":"@phdthesis{ Page/93/Anti-unification,\n author = {C. David Page Jr},\n title = {Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction},\n school = {Department of Computer Science, University of Illinois at Urbana-Champaign},\n month = {June} ,\n year = {1993}\n}\n\n\n","author_short":["Jr, C. D. P."],"key":"Page/93/Anti-unification","id":"Page/93/Anti-unification","bibbaseid":"jr-antiunificationinconstraintlogicsfoundationsandapplicationstolearnabilityinfirstorderlogictospeeduplearningandtodeduction-1993","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"phdthesis","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["anti","unification","constraint","logics","foundations","applications","learnability","first","order","logic","speed","learning","deduction","jr"],"title":"Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction","title_words":["anti","unification","constraint","logics","foundations","applications","learnability","first","order","logic","speed","learning","deduction"],"year":1993,"dataSources":["aWoXKdFNdx2gZ47qg"]}