Número de Chamada
|
005.3 L832L
|
|
Entradas Secundárias - Autor
|
Parikh, Rohit, 1936- coord.
|
|
Título Principal
|
Logics of programs : Brooklyn, June 17-19, 1985 / edited by Rohit Parikh
|
|
Publicação
|
Berlin : Springer-Verlag, c1985.
|
|
Descrição Física
|
vi, 424 p. : il. ; 25 cm
|
|
Série
|
Lecture Notes in Computer Science 193
|
|
Notas
|
Inclui bibliografia e índice
|
|
ISBN
|
0387156488(broch.)
|
|
Assuntos
|
Programas de computador Congressos
Lógica simbólica e matemática
|
|