Idioma:

3 Resultados para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Refinado por: autor: Workshop on Computer Science Logic

Result Number	Material Type	Record Details and Options
1	Material Type: Livro	Computer science logic selected papers [of the] 9th international workshop, CSL'95 annual conference of the EACSL, held in paderborn, Germany, september 22-29, 1995 Workshop on Computer Science Logic (9. 1995 Paderborn, De) H. Kleine Buning Berlin Springer 1996 Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1092 e.1 ) e outros locais(Acessar) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual
2	Material Type: Livro	Computer science logic proceedings Workshop on Computer Science Logic (7. 1993 Swamsea) E Borger; Yuri Gurevich Berlin Springer 1994 Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.823 e.1 ) e outros locais(Acessar) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual
3	Material Type: Livro	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 1932- (Dirk); M Bezem 1956- (Marc); European Association for Computer Science Logic Conference Utrecht, Netherlands) 1996 Berlin Springer New York c1997 Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1258 ) e outros locais(Acessar) Localização & Reservas Detalhes Resenhas & Tags Solicitações Mais Opções Prateleira Virtual