skip to main content

Sair
Identificação

Idioma:

Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings

Pitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.

Berlin, Heidelberg: Springer Berlin Heidelberg 1989

Texto completo disponível

Citações Citado por

Enviar para

Título:
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
Autor: Pitt, David H ; Rydeheard, David E ; Dybjer, Peter ; Pitts, Andrew M ; Poigné, Axel
Rydeheard, David E. ; Dybjer, Peter ; Pitt, David H. ; Poigné, Axel ; Pitts, Andrew M. ; Dybjer, Peter ; Pitt, D. H. ; Rydeheard, D.E. ; Poign, A. ; Pitts, A. M.
Assuntos: Computer Science ; Logic design ; Logic, Symbolic and mathematical ; Logics and Meanings of Programs ; Mathematical Logic and Formal Languages ; Mathematical Logic and Foundations ; Programming Languages, Compilers, Interpreters ; Software Engineering
Títulos relacionados: Lecture Notes in Computer Science
Editor: Berlin, Heidelberg: Springer Berlin Heidelberg
Data de criação/publicação: 1989
Formato: VIII, 372
Idioma: Inglês

Links

View record from Swedish Publication Index

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento