Automatische Synthese Rekursiver Programme Als Beweisverfahren - Informatik-Fachberichte / Subreihe Kunstliche Intelligenz - Susanne Biundo - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540553007 - 8 de abril de 1992
En caso de que portada y título no coincidan, el título será el correcto

Susanne Biundo
Automatische Synthese Rekursiver Programme Als Beweisverfahren - Informatik-Fachberichte / Subreihe Kunstliche Intelligenz German edition

Precio
$ 57,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

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

Originally presented as the author's thesis (doctoral)--Universit'at Karlsruhe under the title: Automatische Synthese rekursiver Algorithmen als Beweisverfahren.

267 pages, black & white illustrations, bibliography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de abril de 1992
ISBN13 9783540553007
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 267
Dimensiones 170 × 244 × 14 mm   ·   435 g
Lengua Alemán  

Mas por Susanne Biundo

Mostrar todo

Mere med samme udgiver

Ver todo de Susanne Biundo ( Ej. Paperback Book )