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
.

Logical methods : in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... [et al.], editors

  • Linear

  • MARC

  •  
    QA76.63.L59
    L64 1993
     
    361362 (Shelf),BOK
    Logical methods : in honor of Anil Nerode's sixtieth birthday. - Boston , 1993.

         813 p. : ill. ; 24 cm Progress in computer science and applied logic v. 12.

         ISBN 3764336900.
         
         1. Nerode - , 1932- 2. Logic, Symbolic and mathematical 3. Logic programming.I. Nerode, Anil,1932- II. Crossley, John N III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    361362ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top