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 theorem proving : theory and practice / Monty Newborn

  • Linear

  • MARC

  •  
    QA76.9.A96
    N49 2001
     
    611741 (Shelf),BOK
    Newborn, Monroe

         Automated theorem proving : theory and practice. - New York , 2001.

         xiii, 231 p. : ill. ; 24 cm. + 1 computer laser optical disc (4 3/4 in).

         ISBN 0387950753 (alk. paper).
         
         1. Automatic theorem proving.I. Title
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    611741ShelfPERPUSTAKAAN KEJURUTERAAN TAR(P3)BOOKRAK TERBUKA (OPEN SHELVES)
    CP10746ReferencePERPUSTAKAAN KEJURUTERAAN TAR(P3)COMPACT DISCruj

Search In

Shelf Browse

No Shelf Browse Data.

Top