Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

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 , c2002
Omfang	XII, 675 s.
Emner	Automatic theorem proving Logic programming Logic programming languages Bevisføring (Matematikk) - Databehandling Logikkprogrammering
ISBN	3540439595

Biblioteksøk