 |
The Ackermann Award 2009
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 5771/2009 |
| Book | Computer Science Logic |
| DOI | 10.1007/978-3-642-04027-6 |
| Copyright | 2009 |
| ISBN | 978-3-642-04026-9 |
| DOI | 10.1007/978-3-642-04027-6_40 |
| Pages | 561-565 |
| Subject Collection | Computer Science |
| SpringerLink Date | Saturday, September 19, 2009 |
| |
|