Vista normal Vista MARC Vista ISBD

Proceedings / Logic in computer science Symposium on logic in computer science, cambridge massachusetts, June 16-18, 1986 ; sponsored by the ieee computer Society, technical committee on mathematical foundations of computing - 383 páginas

"in cooperation ith acm sigact, association for symbolic logic, european association for theoretical computer science"

ISBN: 0-8186-0720-3 (rustica 0-8186-8720-7 (empastado) 0-8186-4720-5 (microfichas)

Subjects--Topical Terms:
Lógica simbólica y matemática--Congresos
Procesamiento electrónico de datos--Congresos
Programación de computadoras--Congresos

LC Class. No.: QA75.5 / S956 1986