Siirry suoraan sisältöön
Computing in Horn Clause Theories
Tallenna

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.
Kirjailija
Peter Padawitz
Painos
Softcover reprint of the original 1st ed. 1988
ISBN
9783642738265
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
3.12.2011
Sivumäärä
322