Publications

Belief, Provability, and Logic Programs

AuthID
P-008-NRW

Author(s)

Alferes, JJ

Pereira, LM

Editor(s)

MacNish,C;Pearce,D;Pereira,LM

Document Type

Proceedings Paper

Year published

1994

Published

in Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings in Lecture Notes in Computer Science, ISSN: 03029743

Volume: 838, Pages: 106-121 (15)

Indexing

Scopus^®

Dblp^®/en/publications/view/284444

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/BFb0021967

Dblp: conf/jelia/AlferesP94

Scopus: 2-s2.0-26444502632

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Belief, Provability, and Logic Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Belief, Provability, and Logic Programs

Useful Links

Get Help