NEU GRAND LIBRARY
Opening Hours: Monday-Saturday, 08:00-20:00 | E-mail: library@neu.edu.tr
 

You are not logged in Show Basket
  Home     Advanced Search     Back  
Print
Add to Basket
  Brief display     MARC Display     Reserve  
Logic program synthesis from incomplete information / (Flener, Pierre,)
Bibliographical information (record 314891)
Help
Logic program synthesis from incomplete information /
Subtitle:
 by Pierre Flener.
Author:
 Flener, Pierre, Search Author in Amazon Books

Publisher:
Kluwer Academic Publishers,
ISBN:
 0792395328
Edition:
 1995.
Classification:
 QA76.63
Dewey:
 005.1/1
Detailed notes
    - Includes bibliographical references (p. [219]-234) and index.
    - I. State of the Art. 1. Automatic Programming. 2. Deductive Inference in Automatic Programming. 3. Inductive Inference in Automatic Programming. 4. A Logic Program Development Methodology. 5. Objectives -- II. Building Blocks. 6. A Specification Approach. 7. A Framework for Stepwise Logic Algorithm Synthesis. 8. Algorithm Analysis and Algorithm Schemata. 9. The Proofs-as-Programs Method. 10. The Most-Specific-Generalization Method -- III. A Logic Algorithm Synthesis Mechanism. 11. Overview of the Synthesis Mechanism. 12. The Expansion Phase. 13. The Reduction Phase -- 14. Conclusion.
Related links
Items (1)
Barcode
Status
Library
Section
7229644584
Item available
Yeniboğaziçi Grand LibraryN/A (QA76.63 .F55 1995)
General Collection
NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.