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 24 of 28 found articles
 
 
  The List Introduction Strategy for the Derivation of Logic Programs
 
 
Title: The List Introduction Strategy for the Derivation of Logic Programs
Author: Pettorossi, Alberto
Proietti, Maurizio
Appeared in: Formal aspects of computing
Paging: Volume 13 (2002) nr. 3-5 pages 233-251
Year: 2002
Contents:
Publisher: Springer-Verlag London Limited, London
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

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