Gå direkt till innehållet
Computing in Horn Clause Theories
Spara

Computing in Horn Clause Theories

At least four research fields detennine the theoretical background of specification and deduction in computer science: recursion theory, automated theorem proving, abstract data types and tenn rewriting systems.
Författare
Peter Padawitz
Upplaga
Softcover reprint of the original 1st ed. 1988
ISBN
9783642738265
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
3.12.2011
Sidor
322