Advanced Topics in Term Rewriting
Produktnummer:
18d28c317c9a14491fa1da58410f492cf7
| Autor: | Ohlebusch, Enno |
|---|---|
| Themengebiete: | Automat Boolean algebra TAL automated theorem proving computer formal method logic programming programming language theorem proving |
| Veröffentlichungsdatum: | 12.04.2002 |
| EAN: | 9780387952505 |
| Sprache: | Englisch |
| Seitenzahl: | 414 |
| Produktart: | Gebunden |
| Verlag: | Springer US |
Produktinformationen "Advanced Topics in Term Rewriting"
New advanced text/reference book on term rewriting theory and application. Essential, state-of-the-art reference for computer scientists and advanced graduates working in field of computational logic programming.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen