TELLI DIGIKOOPIA

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

Leiti ...

TÄIELIK KATALOOG

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