1499:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783540536864
- Språk: Engelska
- Antal sidor: 569
- Utgivningsdatum: 1991-02-01
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K