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
.

The automation of reasoning : an experimenter's notebook with OTTER tutorial / Larry Wos

  • Linear

  • MARC

  •  
    QA76.9.A96
    W67 1996
     
    445314 (Shelf),BOK
    Wos, Larry

         The automation of reasoning : an experimenter's notebook with OTTER tutorial. - San Diego , 1996.

         xiv, 434 p. ; 23 cm. + 1 computer disk (4 3/4 in.).
         Includes index.

         ISBN 0127634207.
         
         1. Artificial intelligence 2. Automatic theorem proving.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    445314ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    CLT2271ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)FLOPPY DISCKUMPULAN BUKU-BUKU RESEB

Search In

Shelf Browse

No Shelf Browse Data.

Top