Belief, Provability, and Logic Programs

AuthID
P-008-NRQ
2
Author(s)
Document Type
Article
Year published
1995
Published
in J. Appl. Non Class. Logics, ISSN: 1166-3081
Volume: 5, Issue: 1, Pages: 31-50
Indexing
Publication Identifiers
Dblp: journals/jancl/AlferesP95
Scopus: 2-s2.0-84947859951
Source Identifiers
ISSN: 1166-3081
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.