Limitar la búsqueda a ejemplares disponibles



Cubierta del libro
MAT. IMPRESO

Título Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / edited by Rohit Parikh

Publicación Berlin ; New York : Springer, cop. 1985
Ubicación Signatura Tipo de préstamo Estado Notas
 B.Ciencias.Matemáticas  B 10/LNCS 193    PRÉSTAMO LARGO  DISPONIBLE
Edición [1st ed.]
Descripción física vi, 424 p. ; 25 cm
Colección Lecture notes in computer science, 0302-9743 ; 193
Nota Comunicaciones presentadas a:" A conference held at Brooklyn College June 17-19, 1985"
Bibliografía Bibliografía
Materia Lógica simbólica y matemática -- Congresos
       Mostrar referencias similares
Programas de ordenadores -- Congresos
       Mostrar referencias similares
Autor secundario Parikh, Rohit, 1936-, ed. lit.
ISBN 3540156488
0387156488