Automated Theorem Proving

AvWolfgang Bibel

Häftad, Engelska, 1987

1 096 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might be regarded even as something like a necessity.

Produktinformation

Utforska kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

LISP

Rüdiger Esser

Häftad

550 kr

Hoppa över listan

Du kanske också är intresserad av

Prolog

Paul Cordes, Paul Schmitz

Häftad

567 kr

Prolog

Ralf Cordes, Paul Schmitz

Häftad

567 kr