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





TELLI DIGIKOOPIA

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

Leiti ...

TÄIELIK KATALOOG

Kontakt
Pealkiri Applying lemmas and conjecturers in high-order proof by consistency / Henrik Linnestad
Autor Linnestad, Henrik, autor
Ilmunud Oslo : [Universitetet i Oslo, Institutt for informatikk], 1997
Kirjeldus 19 lk. ; 30 cm
Püsilink https://www.ester.ee/record=b1027911~S1*est