
Logic Colloquium '99
Jan Van Eijck, Vincent Van Oostrom, Albert Visser
₹3,875

European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
Free delivery. Nothing extra to pay at checkout.
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.
Description supplied by the publisher.