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

Computing in Horn Clause Theories

Lägsta pris på PriceRunner
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
2011-12-03
Sidor
322