Scholars@Duke publication: Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction

Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction

Publication , Thesis Dissertation

Page, C

1993

Link to item

Duke Scholars

Author David Page Biostatistics & Bioinformatics, Division of Biostatistics

Publication Date

1993

Conference Name

University of Illinois at Urbana-Champaign

Citation

APA

Chicago

ICMJE

MLA

NLM

Page, C. (1993). Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction. Presented at the University of Illinois at Urbana-Champaign.

Page, Charles. “Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction,” 1993.

Page C. Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction. 1993.

Page, Charles. Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction. 1993.

Page C. Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction. 1993.

Publication Date

1993

Conference Name

University of Illinois at Urbana-Champaign