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

Internet

http://cds.cern.ch/record/1050325

Ejemplares similares