Search alternatives:
automated theory » automated theorem, automata theory, automatic theorem
languages » language
Cover Image
Read Now

1
by Freuder, Eugene C.
Published 1994
MIT Press
“... at several levels: theory, algorithms, languages, applications, and hardware.Constraint-based reasoning has...”