Veebilehe suurendamiseks ja vähendamiseks tuleb Ctrl-klahvi (Cmd-klahvi) all hoides vajutada "+" või "-" klahvi.
Teine võimalus on liigutada hiire kerimisrulli, hoides all Ctrl-klahvi.
Tavasuuruse taastamiseks tuleb samaaegselt vajutada klahvidele Ctrl ja 0.

Suurendus

Kontrastsus



E-kataloog ESTER
Täielik kataloog


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
Raamat

Prindi