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)
Lukaszewicz, Witold (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Szalas, Andrzej (Linköping University, The Institute of Technology) (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab)
Title:
Computing strongest necessary and weakest sufficient conditions of first-order formulas
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
17th International Joint Conference on Artificial Intelligence,2001
Publisher: Morgan Kaufmann
Pages:
145-
Year of publ.:
2001
URI:
urn:nbn:se:liu:diva-41597
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41597
Local ID:
58113
Subject category:
Computer Science
SVEP category:
Computer science
Available from:
2009-10-10
Created:
2009-10-10
Statistics:
13 hits