Computer science logic : 7th Workshop, CSL '93 : Swansea, United Kingdom September 13-17, 1993 : selected papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Workshop on Computer Science Logic Swansea, Anglie) (Autor)
Další autoři: Gurevich, Yuri, 1940- (Editor), Meinke, Karl (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer-Verlag, 1994
Edice:Lecture notes in computer science ; 832
Témata:
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
Popis Stav Knihovna Sbírka Signatura Poznámky Čárový kód
Dostupné
Měsíční
Fakulta informatiky sklad K60.93 4200502695