Detail

Publication date: 01/01/1998

Journal of Automated Reasoning

Authors

José Júlio Alferes, Luís Moniz Pereira,

Series Special volume on Logics for Artificial Intelligence
Volume 20
Number 1, 2
Series Special volume on Logics for Artificial Intelligence
Volume 20
Number 1, 2