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
.

Proof and computation / edited by Helmut Schwichtenberg

  • Linear

  • MARC

  •  
    QA76.63
    .P76 1995
     
    439958 (Shelf),BOK
    Proof and computation. - Berlin , 1995.

         470 p. : ill. ; 25 cm NATO ASI series. Series F, Computer and systems sciences vol. 139.
         "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso
         ."Published in cooperation with NATO Scientific Affairs Division.".

         ISBN 3540585818.
         
         1. Logic programming - Congresses 2. Logic, Symbolic and mathematical - Congresses.I. Schwichtenberg, Helmut,1942- II. North Atlantic Treaty Organization. Scientific Affairs Division III. Title IV. Series
         Library : UiTM Shah Alam
    Accn No.Item StatusAdd IdLocationSMDItem Category
    439958ShelfPERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4)BOOKret

Search In

Shelf Browse

No Shelf Browse Data.

Top