LiU Electronic Press
Full-text not available in DiVA
Author:
Doherty, Patrick (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
A constraint-based approach to proof procedures for multi-valued logics
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Report (Other academic)
Language:
English
Place of publ.: Linköping, Sweden Publisher: Department of Computer and Information Science, Linköping university, Linköping, Sweden
Series:
LITH-IDA-R; 2
Year of publ.:
1992
URI:
urn:nbn:se:liu:diva-41640
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41640
ISRN:
LITH-IDA-R-92-02
Local ID:
58574
Subject category:
Computer Science
SVEP category:
Computer science
Available from:
2009-10-10
Created:
2009-10-10
Last updated:
2013-03-20
Statistics:
11 hits