Shah Alam

  • UiTM Shah Alam
  • UITM Sarawak
  • UITM Perlis
  • UITM Pulau Pinang
  • UITM Sabah
  • UiTM Negeri Sembilan
  • UiTM Johor
  • UITM Melaka
  • UITM Pahang
  • UITM Kelantan
  • UITM Kedah
  • UITM Perak
  • UITM Terengganu
  • UiTM Libraries
.

Termination proofs for logic programs / Lutz Plumer

  • Linear

  • MARC

  •  
    QA76.63
    .P58 1990
     
    317743 (In Transit),BOK
    Plumer, Lutz

         Termination proofs for logic programs. - Berlin , 1990.

         viii, 142 p. : ill. ; 25 cm Lecture notes in computer science ; 446. Lecture notes in artificial intelligence.
         Includes bibliographical references and index.

         ISBN 3540528377.

         I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    317743In TransitPTAR JLN OTHMAN(JO)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top