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
.

Generic inference : a unifying theory for automated reasoning / Marc Pouly and Jurg Kohlas

  • Linear

  • MARC

  •  
    QA162
    .P65 2011
     
    934821 (Shelf),BOK
    Pouly, Marc , 1980-

         Generic inference : a unifying theory for automated reasoning. - Hoboken, NJ , 2011.

         xxxi, 452 p. : ill. ; 25 cm.

         ISBN 9780470527016 (hbk.)
         .-ISBN 0470527013 (hbk.).
         
         1. Valuation theory 2. Algorithms 3. Algebra, Abstract.I. Kohlas, Jurg,1939- II. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    934821ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top