Computational logic : symposium proceedings, Brussels, November 13/14, 1990

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 , c1990
Omfang	IX, 211 s. : ill.
Opplysninger	"... proceedings of the "Symposium on Computational Logic" held on the occasion of the 7th ESPRIT Conference Week in November 1990" - Forordet.
Emner	Automatic theorem proving - Congresses Logic, Symbolic and Mathematical - Congresses Logikkprogrammering logikkprogrammering kongresser form forskning edb
ISBN	0387534377. - 3540534377

Biblioteksøk