6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

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 , 1982
Omfang	vii,389 s. : fig., tab.
Opplysninger	Har bibliografi.
Emner	Matematisk logikk - Databehandling logikk
ISBN	0387115587. - 3540115587

Biblioteksøk