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
.

Automated reasoning : 33 basic research problems / Larry Wos

  • Linear

  • MARC

  •  
    QA76.9 A96
    W67
     
    5668TE (Shelf),BOK
    Wos, Larry

         Automated reasoning : 33 basic research problems. - Englewood Cliffs,N.J. , 1988.

         xiiip.319p. ; 22cm.
         Includes index.

         ISBN 013054552X.
         
         1. Artificial intelligence 2. Automatic theorem proving.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    5668TEShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)
    100NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)
    X1000NCShelfPERPUSTAKAAN INTEC(S17)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top