Autorenfreundlich Bücher kaufen?!
Beschreibung
RichardKennaway(Norwich) PublicityChair Jos¿ eMeseguer(MenloPark) RTAOrganizingCommittee HubertComon(Cachan) TobiasNipkow(Munich) NachumDershowitz,chair(Urbana) MichaelRusinowitch(Nancy) Jos¿ eMeseguer(MenloPark) YoshihitoToyama(Tatsunokuchi) External Referees VII ExternalReferees Y. Akama T. Aoto T. Arts F. Blanqui R. Bloo A. Boudet J. Chrzaszcz E. Contejean D. Dougherty K. Erk M. Fernandez W. Fokkink G. Godoy B. Gramlich T. Ida F. Jacquemard S. Kahrs Y. Kaji D. Kesner K. Kusakari F. Lang C. Luth ¿ M. Leucker J. Levy R. Matthes R. Mayr B. Monate J. J. MorenoNavarro M. Nagayama P. Narendran J. Niehren R. Nieuwenhuis K. Ogata E. Ohlebusch S. Okui C. -H. L.
11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 28. Juni 2000 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 446 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540677789 |
| Seiten | 282 |
Schlagwörter
Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Mathematik für Informatiker, Software Engineering, Symbolic and Algebraic Manipulation, Theoretische Informatik
Herstellerinformationen
Bekannt durch
