Proof and computation

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c1995
Omfang	470 s. : fig.
Opplysninger	"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-August 1, 1993" - Tittelsidens bakside
Emner	Logic programming - Congresses Logic, Symbolic and mathematical - Congresses Bevisføring (Matematikk) - Databehandling Bevisteori Vis mer... Logikkprogrammering bevisføring programmering
ISBN	3540585818

Biblioteksøk