20th International Conference on Theorem Proving in Higher Order Logics

Detalles Bibliográficos
Lenguaje:eng
Publicado: 2007
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/1050325
Descripción
Descripción no disponible.

Ejemplares similares