Peter Padawitz
Computing in Horn Clause Theories - Monographs in Theoretical Computer Science. An EATCS Series Peter Padawitz Softcover reprint of the original 1st ed. 1988 edition

Name: Computing in Horn Clause Theories - Monographs in Theoretical Computer Science. An EATCS Series
Price: 6889 ISK
Availability: OutOfStock
Author: Peter Padawitz

Price

Íkr 6,889

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 29 - Aug 6

Get notified about new Peter Padawitz releases

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Computing in Horn Clause Theories - Monographs in Theoretical Computer Science. An EATCS Series

Peter Padawitz

Softcover reprint of the original 1st ed. 1988 edition

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.

342 pages, 1 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	December 3, 2011
ISBN13	9783642738265
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	322
Dimensions	170 × 244 × 18 mm · 544 g
Language	German