Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings (Lecture Notes in Computer Science)

***

  • 出版商: Springer
  • 出版日期: 1991-04-01
  • 售價: $5,915
  • 貴賓價: 9.5$5,619
  • 語言: 英文
  • 頁數: 569
  • 裝訂: Paperback
  • ISBN: 3540536868
  • ISBN-13: 9783540536864
  • 相關分類: 計算機概論

下單後立即進貨 (1週~2週)

商品描述

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.