Gå direkte til innholdet
Computing in Horn Clause Theories
Spar

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.
Opplag
Softcover reprint of the original 1st ed. 1988
ISBN
9783642738265
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
3.12.2011
Antall sider
322