Frontiers of Combining Systems
5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
| ISBN: | 9783540290513 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 321 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Gramlich, Bernhard |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 12.09.2005 |
| Untertitel: | 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings |
| Schlagworte: | AI logic Isabelle automated deduction binary decision diagrams classification constraint programming constraint solving data structure declarative programming distributed systems |
Anmelden