Logics of Programs Workshop, Yorktown Heights, New York, May 1981 / edited by Dexter Kozen.
Gardado en:
| Publicado: |
Berlin ; New York :
Springer-Verlag,
1982.
|
|---|---|
| Autor Corporativo: | |
| Outros autores: | |
| Series: | Lecture notes in computer science ;
131 |
| Subjects: | |
| Formato: | Conference Proceeding Libro |
Library Storage, Request for Retrieval
|
Número de Clasificación
Copia
Loan Type
Status
Facer reserva
|
|||||
