A New Formulation of Tabled Resolution with Delay

Author: Terrance Swift
Published in:
· Proceeding
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Pages 163-177

September 21 - 24, 1999
Springer-Verlag London, UK ©1999
table of contents ISBN:3-540-66548-X
A New Formulation of Tabled Resolution with Delay 1999 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 9
· Downloads (cumulative): n/a
· Downloads (12 Months): n/a
· Downloads (6 Weeks): n/a


Tools and Resources

Share:

|
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2019 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us