
Autorenfreundlich Bücher kaufen?!

Beschreibung
authors. The merits of the submissions were d- cussed by the programcommittee for ten days through the Internet by means of the EasyChair system. Finally, the program committee selected for publication 25 regular research papers and 5 system descriptions.
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Details
Verlag | Springer Berlin |
Ersterscheinung | Juli 2005 |
Maße | 23.5 cm x 15.5 cm |
Gewicht | 721 Gramm |
Format | Softcover |
ISBN-13 | 9783540280057 |
Auflage | 2005 |
Seiten | 466 |