Produktnummer:
18417410228b8b46fd9023819a98836523
| Themengebiete: | LA agent programming language complexity data mining description logic equational reasoning knowledge base knowledge bases learning linear arithmetic |
|---|---|
| Veröffentlichungsdatum: | 07.09.2009 |
| EAN: | 9783642042218 |
| Sprache: | Englisch |
| Seitenzahl: | 383 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ghilardi, Silvio Sebastiani, Roberto |
| Verlag: | Springer Berlin |
| Untertitel: | 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings |
Produktinformationen "Frontiers of Combining Systems"
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
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