Bemærk: Kan ikke leveres før jul.
Forventes på lager: 11-01-2008
By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.
| Forlag | Birkhauser Boston Inc |
| Forfatter | Uwe Schoning |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 1989. 2nd printing 2008. Softcover reprint |
| Udgivelsesdato | 11-01-2008 |
| Første udgivelsesår | 2008 |
| Serie | Modern Birkhauser Classics |
| Illustrationer | IX, 168 p. |
| Originalsprog | United States |
| Sideantal | 168 |
| Indbinding | Paperback / softback |
| Forlag | Birkhauser Boston Inc |
| Sideoplysninger | 168 pages, IX, 168 p. |
| Mål | 236 x 162 x 12 |
| ISBN-13 / EAN-13 | 9780817647629 |