Logics in AI
120,00 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540536864
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
| EAN: | 9783540536864 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 569 |
| Produktart: | kartoniert, broschiert |
| Verlag: | Springer Springer, Berlin Springer Berlin Heidelberg |
| Untertitel: | European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings |
| Schlagworte: | Künstliche Intelligenz (KI) / Artificial Intelligence Mathematische Logik 1990 |
| Größe: | 233 |
| Gewicht: | 970 g |
