Automated deduction in classical and non-classical logics : selected papers

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 , c2000
Omfang	VIII, 297 s. : ill.
Emner	Automatisk bevisføring Kunstig intelligens
ISBN	3540671900

Biblioteksøk