Nonmonotonic logics : basic concepts, results, and techniques

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 , c1997
Omfang	IX, 243 s. : fig.
Emner	Automatisk bevisføring Bevissystemer Ikke-monoton logikk Kunstig intelligens Vis mer... Logikk Matematisk logikk - Databehandling Semantikk ikkemonoton logikk
ISBN	3540624821

Biblioteksøk