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
.

Computational aspects of an order-sorted logic with term declarations / M. Schmidt-Schauss

  • Linear

  • MARC

  •  
    QA9
    .S343 1989
     
    300566 (Shelf),BOK
    Schmidt-Schauss, M.

         Computational aspects of an order-sorted logic with term declarations. - Berlin , 1989.

         viii, 171 p. : ill. ; 24 cm Lecture notes in computer science Lecture notes in artificial intelligence 395.

         ISBN 0387517057.
         
         1. Sorting (Electronic computers) 2. Logic, Symbolic and mathematical.I. Title II. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    300566ShelfPERPUSTAKAAN TUN ABDUL RAZAK(P1)BOOKRAK TERBUKA (OPEN SHELVES)

Search In

Shelf Browse

No Shelf Browse Data.

Top