Esilehele > RAAMATUD > TEADUSE JA KULTUURI ÜLDKÜSIMUSED > ARVUTITEADUS. INFORMAATIKA
21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts

Laadi alla

Alla laetud 1694 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

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

tehnilised andmed

Kirjastaja:
Institute of Cybernetics at Tallinn University of Technology
Ilmumisaeg:
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

Märksõnad

e-raamatud tüübiteooria konverentsikogumikud loogiline programmeerimine tõestuste teooria teesid intellektitehnika arvutiteadus

VAATA VEEL