Idioma:

Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings

Workshop on Computer Science Logic (5th 1991 Bern, Switzerland) E Börger 1946- (Egon)

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

Título:
Computer science logic 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Autor: Workshop on Computer Science Logic (5th 1991 Bern, Switzerland)
E Börger 1946- (Egon)
Assuntos: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses; TEORIA DA COMPUTAÇÃO
Notas Locais: [Ed]jager, gerard n ; [ed] buning, h kleine ; [ed] richter, m m
Títulos relacionados: Série:Lecture notes in computer science 626
Editor: Berlin New York Springer-Verlag
Data de criação/publicação: c1992
Formato: viii, 428 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados