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 4 of 8 found articles
 
 
  Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
 
 
Title: Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Author: Cantone, D.
Ferro, A.
Schwartz, J.T.
Appeared in: Journal of computer and system sciences
Paging: Volume 34 (1987) nr. 1 pages 18 p.
Year: 1987
Contents:
Publisher: Published by Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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