Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 199 - detaljert visning

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	London : Springer-Verlag , c1993
Omfang	viii, 312 s.
Opplysninger	"Published in collaboration with the British Computer Society."
Emner	Larch prover Automatic theorem proving - Congresses
ISBN	0387198040. - 3540198040

Biblioteksøk