An Essay on Sabotage and Obstruction
| Authors | |
|---|---|
| Publication date | 2005 |
| Host editors |
|
| Book title | Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday |
| Pages (from-to) | 268-276 |
| Number of pages | 9 |
| Publisher | Berlijn: Springer Verlag |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |