
Non-Monotonic Extensions of Logic Programming
Louis M. Pereira, Teodor C. Przymusinski
₹5,496

4th International Symposium, Ants-IV Leiden, the Netherlands, July 2-7, 2000 Proceedings
by Wieb Bosma
Free delivery. Nothing extra to pay at checkout.
The fourth Algorithmic Number Theory Symposium takes place at the U- versiteit Leiden, in the Netherlands, from July 2-7, 2000. Its organization is a joint e?ort of Dutch number theorists from Leiden, Groningen, Nijmegen, and Amsterdam. Sixinvitedtalksand36contributedtalksarescheduled. Thisvolumecontains the written versions of the talks, with the exception of two of the invited talks. Not included are: A rational approach to?
Description supplied by the publisher.