5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

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 , 1980
Omfang	VII,385 s. : fig.
Opplysninger	Har bibliografi.
Emner	Matematisk logikk - Databehandling logikk
ISBN	0387100091. - 3540100091

Biblioteksøk