liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A constraint-based approach to proof procedures for multi-valued logics
Linköping University, The Institute of Technology. Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab.
1991 (English)In: Proceedings of the 1st World Conference on Fundamentals of Artificial Intelligence (WOCFAI), Berlin, Heidelberg, Germany: Springer , 1991Conference paper (Refereed)
Place, publisher, year, edition, pages
Berlin, Heidelberg, Germany: Springer , 1991.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-41413Local ID: 56312OAI: oai:DiVA.org:liu-41413DiVA: diva2:262265
Available from: 2009-10-10 Created: 2009-10-10 Last updated: 2012-01-18

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Doherty, Patrick
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 97 hits
ReferencesLink to record
Permanent link

Direct link