Computer Science Logic : 11th International Workshop, CSL '97 : Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /

Uloženo v:
Podrobná bibliografie
Korporativní autor: Workshop on Computer Science Logic Aarhus, Dánsko) (Autor)
Další autoři: Nielsen, Mogens, 1949- (Editor), Thomas, Wolfgang, 1947- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Berlin : Springer, c1997
Edice:Lecture notes in computer science ; 1414
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 K60.97 4200504506