Automated deduction: a basis for applications

Detalles Bibliográficos
Autores principales: Bibel, Wolfgang, Schmitt, Peter
Lenguaje:eng
Publicado: Springer 1998
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/978-94-017-0435-9
https://dx.doi.org/10.1007/978-94-017-0437-3
http://cds.cern.ch/record/1620685
Descripción
Descripción no disponible.

Ejemplares similares