Idioma:

Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers

Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands) D. van Dalen (Dirk) 1932-; M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1258 ) e outros locais(Acessar)

Título:
Computer science logic 10th international workshop, CSL'96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
Autor: Workshop on Computer Science Logic (10th 1996 Utrecht, Netherlands)
D. van Dalen (Dirk) 1932-; M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996
Assuntos: Computer logic -- Congresses; LÓGICA MATEMÁTICA (CONGRESSOS); TEORIA DA COMPUTAÇÃO
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture Notes in Computer Science 1258
Editor: Berlin Springer New York
Data de criação/publicação: c1997
Formato: viii, 471 p ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 10 Avançar Ir para próxima página