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: 968 MXN
Availability: OutOfStock
Author: Peter Padawitz

Precio

Mex$ 968

sin IVA

Pedido desde almacén remoto

Entrega prevista 2 - 14 de jul.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	3 de diciembre de 2011
ISBN13	9783642738265
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	322
Dimensiones	170 × 244 × 18 mm · 544 g
Lengua	Alemán