Siirry suoraan sisältöön
Logics in AI
Tallenna

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.
Alaotsikko
European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
Toimittaja
Jan van Eijck
Painos
1991 ed.
ISBN
9783540536864
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
26.2.1991
Sivumäärä
569