Cargando…

Automated deduction - CADE-22: 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009 proceedings

Detalles Bibliográficos
Autor principal: Schmidt, Renate
Lenguaje:eng
Publicado: Springer 2009
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762944