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
.

A proof theory for general unification / Wayne Snyder

  • Linear

  • MARC

  •  
    QA76.9 .A96
    S6 1991
     
    483026 (Shelf),BOK
    Snyder, Wayne , 1955 - .

         A proof theory for general unification. - boston , 1991.

         vi, 175 p. : ill. ; 23 cm Progress in Computer Science and Applied Logic v. 11.

         ISBN 0817635939.
         
         1. Automatic theorem proving.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    483026ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top