Produktnummer:
18a4ebd0d24e9640e98bb6b18afd1f34f7
| Themengebiete: | Automat artificial intelligence automated theorem proving computer intelligence logic natural language programming proving semantics |
|---|---|
| Veröffentlichungsdatum: | 26.02.1991 |
| EAN: | 9783540536864 |
| Sprache: | Englisch |
| Seitenzahl: | 569 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Eijck, Jan van |
| Verlag: | Springer Berlin |
| Untertitel: | European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings |
Produktinformationen "Logics in AI"
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.
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