The Seventeen Provers of the World Foreword by Dana S. Scott /

Guardado en:
Autor Principal: Wiedijk, Freek.
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science, 3600
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción Física:v.: digital
ISBN:9783540328889
ISSN:0302-9743 ;