Articles details

Belief, Provability and Logic Programs (extended version)

01 Jan 1995

Journal: Journal of Applied Non-Classical Logics

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

Editors:

Volume: 1

Number: 5

Issn:

Isbn:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 31 to 50

Publication Date: 1 Jan 1995