Symposium on Automatic Demonstration : held at Versailles/France, December 1968

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 , 1970
Omfang	310 s.
Emner	Automatic theorem proving - Congresses

Biblioteksøk