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
.

Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).

  • Linear

  • MARC

  •  
    QA76.63
    .C64 2002
     
    577942 (Shelf),BOK
    Computational logic : logic programming and beyond. - Berlin. - New York , 2002.

         2 v. : ill. ; 24 cm. Lecture notes in computer science Lecture notes in artificial intelligence 2407-240.

         ISBN 3540439595 (pt. I : softcover : alk. paper)
         .-ISBN 3540439609 (pt. II : softcover : alk. paper).
         
         1. Kowalski, Robert. 2. Logic programming. 3. Automatic theorem proving. 4. Logic programming languages.I. Kakas, Antonis C. II. Sadri, Fariba,1956- III. Kowalski, Robert. IV. Title V. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    577942ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top