Verification of mathematical proofs autoreferát doktorské disertační práce

Uloženo v:
Podrobná bibliografie
Hlavní autor: Pudlák, Petr (Autor práce) 
Korporace: Univerzita Karlova. Katedra teoretické informatiky a matematické logiky  
Médium: Rukopis
Jazyk:angličtina
Vydáno: 2006
Žánr/forma:autoreferáty
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka
Stav Dílčí knihovna Popis Umístění LCC signatura Stará signatura
Sklad, k vypůjčení
Fond NTK Sklad K 63957/2