Proof and computation / edited by Helmut Schwichtenberg
-
| | | 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 Status | Add Id | Location | SMD | Item Category | 439958 | Shelf | | PERPUSTAKAAN SAINS DAN TEKNOLOGI TAR(P4) | BOOK | ret |
|
|
|