Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings (Lecture Notes in Computer Science)
暫譯: 人工智慧中的邏輯：歐洲研討會 JELIA '90，荷蘭阿姆斯特丹，1990年9月10-14日。會議錄（計算機科學講義）

***

出版商: Springer
出版日期: 1991-02-26
售價: $4,530
貴賓價: 9.5 折 $4,304
語言: 英文
頁數: 569
裝訂: Paperback
ISBN: 3540536868
ISBN-13: 9783540536864
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

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.