21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Laadi alla

Alla laetud 1794 korda

Kättesaadav autoriseeritud töökohal Eesti Rahvusraamatukogus, Eesti Kirjandusmuuseumi Arhiivraamatukogus, Tallinna Tehnikaülikooli Raamatukogus, Tartu Ülikooli Raamatukogus ja Tallinna Ülikooli Akadeemilises Raamatukogus

Kättesaadav Eesti Rahvusraamatukogu sisevõrgus

Kättesaadav välisvõrgus

PDF

Laadi alla

abstracts.pdf (7 MB)

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Toimetaja: Tarmo Uustalu, Kujundaja: Aive Kalmus, Autor: International Conference on Types for Proofs and Programs

tehnilised andmed

Kirjastaja:: Institute of Cybernetics at Tallinn University of Technology
Ilmumisaeg:: 2015
Keel:: inglise
Deposiitor:: Eesti Rahvusraamatukogu
Kasutusmärge:: http://cs.ioc.ee/types15/abstracts-book/abstracts.pdf

Laad:: raamat

: Autoriõigusega kaitstud
ESTER: b44842685
ISBN: 978-9949-430-87-1 (pdf)

Püsilink: http://www.digar.ee/id/nlib-digar:250381

Laadi alla

Laadi alla

21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

tehnilised andmed

Märksõnad

VAATA VEEL