Automated Deduction - CADE-21
21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
| ISBN: | 9783540735946 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 524 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Pfenning, Frank |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 05.07.2007 |
| Untertitel: | 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings |
| Schlagworte: | Automat automated deduction logic logical reasoning model checking polymorphism verification |
Anmelden