Computational logic : essays in honor of Alan Robinson

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	Cambridge, Mass. : MIT Press , c1991
Omfang	viii, 727 s. : ill.
Emner	Automatic theorem proving Logic programming Logikk Logikkprogrammering logisk programmering parallell
ISBN	0262121565

Biblioteksøk