Detail

Publication date: 01/01/1995

Belief, Provability and Logic Programs (extended version)

Authors

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

Journal Journal of Applied Non-Classical Logics
Publisher Universitat Politècnica de Catalunya
Volume 1
Number 5
Journal Journal of Applied Non-Classical Logics
Publisher Universitat Politècnica de Catalunya
Volume 1
Number 5