The MathSAT 3 system
| Autor: | Bozzano, M., Bruttomesso, R., Cimatti, A., Junttila, T., Rossum, P.J.B. van, Schulz, S., Sebastiani, R., Nieuwenhuis, R. |
|---|---|
| Rok vydání: | 2005 |
| Zdroj: | Nieuwenhuis, R. (ed.), Automated Deduction-Cade-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, 315-321. Berlin : Springer STARTPAGE=315;ENDPAGE=321;ISSN=0302-9743;TITLE=Nieuwenhuis, R. (ed.), Automated Deduction-Cade-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings |
| ISSN: | 0302-9743 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|