Gå direkt till innehållet
Logics in AI
Spara

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. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.
Undertitel
European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Redaktör
Jan van Eijck
Upplaga
1991 ed.
ISBN
9783540536864
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1991-02-26
Sidor
569