Classical papers on computational logic 1957-1966

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 , 1983
Omfang	XII, 525 s.
Emner	Automatic theorem proving. Automatisk deduksjon Kunstig intelligens Matematisk logikk - Databehandling Vis mer... Symbolsk logikk matematisk logikk
Dewey	511.3
ISBN	0387120432. - 3540120432

Biblioteksøk