Automated deduction, CADE-19. - 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
- Författare
- Fla.) International Conference on Automated Deduction 2003 : Miami Beach
- (Franz Baader (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | 2003 | Tyskland, Berlin, New York | p. cm. | |
| Springer Berlin Heidelberg, Imprint: Springer | 2003 | Tyskland, Berlin, Heidelberg | 1 online resource (XII, 512 sidor.) |