Cargando…
Automated theorem proving: theory and practice
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little! -can now carry out para...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2001
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-1-4613-0089-2 http://cds.cern.ch/record/2006148 |