Stock image for illustration purposes only - book cover, edition or condition may vary.
Logics in AI
J.Van . Ed(S): Eijck
€ 130.15
FREE Delivery in Ireland
Description for Logics in AI
Paperback. This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics. Editor(s): Eijck, J.Van. Series: Lecture Notes in Computer Science. Num Pages: 580 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 30. Weight in Grams: 808.
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.
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.
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
580
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
569
Place of Publication
Berlin, Germany
ISBN
9783540536864
SKU
V9783540536864
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logics in AI