ML Anthology

Hinrichs, Timothy L.

1 publications

AAAI 2005 Axiom Schemata as Metalevel Axioms: Model Theory Timothy L. Hinrichs, Michael R. Genesereth