Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 63 of 71 found articles
 
 
  Redundancy in logic II: 2CNF and Horn propositional formulae
 
 
Title: Redundancy in logic II: 2CNF and Horn propositional formulae
Author: Liberatore, Paolo
Appeared in: Artificial intelligence
Paging: Volume 172 (2008) nr. 2-3 pages 35 p.
Year: 2008
Contents:
Publisher: Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 63 of 71 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands