Cargando…
Automated model building
This is the first book on automated model building, a discipline of automated deduction that is of growing importance Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to captur...
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2004
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4020-2653-9 http://cds.cern.ch/record/1663989 |