TELLI DIGIKOOPIA

Sellest väljaandest saad tasulise teenusena tellida digikoopia.
Teenuse tingimused ja maksumus on raamatukogudes erinevad.

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Proceedings of the 1991 international workshop on the HOL theorem proving system and its applications : August 28-30, 1991, Davis, California / edited by Myla Archer ...[et al.] ; sponsored by University of California, Davis ...[etc.] ; in cooperation with IEEE Computer Society, ACM SIGDA
Ilmunud Los Alamitos (Calif.) [etc.] : IEEE Computer Society, 1992.
Kirjeldus XIX, 411, [1] lk. : ill.
Püsilink https://www.ester.ee/record=b1021679~S1*est