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 3 of 20 found articles
 
 
  Arrays, bounded quantification and iteration in logic and constraint logic programming
 
 
Title: Arrays, bounded quantification and iteration in logic and constraint logic programming
Author: Apt, Krzysztof R.
Appeared in: Science of computer programming
Paging: Volume 26 (1996) nr. 1-3 pages 16 p.
Year: 1996
Contents:
Publisher: Published by Elsevier B.V.
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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