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 : introduction and applications / Larry Wos ... [et al.]

  • Linear

  • MARC

  •  
    QA76.9.A96
    A93 1992
     
    351906 (Shelf),BOK
    Automated reasoning : introduction and applications. - New York , 1992.

         xvi, 656 p. ; 24 cm. + 1 computer disk (5 1/4 in.
         System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.

         ISBN 007911251X.
         
         1. Electronic digital computers - Programming 2. Artificial intelligence 3. Automatic theorem proving.I. Wos, Larry II. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    351906ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)
    407863WithdrawnPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top