Computer science logic : 19th international workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Uloženo v:
Podrobná bibliografie
Další autoři: Ong, Luke (Editor) 
Konference: Workshop on Computer Science Logic (19. : Oxford, Anglie 2005)
Médium: Kniha
Jazyk:angličtina
Vydáno: Berlin : Springer, 2005
Edice:Lecture notes in computer science, 3634
Žánr/forma:sborníky konferencí
ISBN:3-540-28231-9
Témata:
On-line přístup:Plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Obálka

Internet

Plný text
Stav Dílčí knihovna Popis Umístění LCC signatura Stará signatura
Volný výběr, k vypůjčení Fond NTK 6.NP, regál 6D/097 QA76 .9 .L63 C75 2005 A 40977