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
.

Logic programming : formal methods and practical applications / edited by Christoph Beierle / l995

  • Linear

  • MARC

  •  
    QA76.63
    .L63294 1995
     
    378989 (Shelf),BOK
    Logic programming : formal methods and practical applications. - Amsterdam , l995.

         xiv, 404 p. : ill. ; 25 cm Studies in computer science and artificial intelligence ll.

         ISBN 0444820922.
         
         1. Logic programming.I. Beierle, Christoph,l954- II. Plumer, Lutz III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    378989ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top