Logic and Computation

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: Workshop on Logic and Computation Carnegie Mellon University
Other Authors: Sieg, Wilfried, 1945- (Editor)
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Providence : American Mathematical Society, 1990.
Series:Contemporary Mathematics.
Subjects:
Computable functions > Data processing > Congresses.
Fonctions calculables > Informatique > Congrès.
Computable functions > Data processing
Mathematics.
Physical Sciences & Mathematics.
Mathematical Theory.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items