Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and
-
| | | | | IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications |
| | Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92. - Amsterdam , 1993. | | xiii, 568 p. : ill. ; 23 cm IFIP transactions. A-20. | | ISBN 0444898808. | | | | 1. Logic, Symbolic and mathematical - Congresses 2. Automatic theorem proving - Congresses.I. Claesen, Luc J. M II. Gordon, Michael J. C. - 1948- III. Commission of the European Communities. IV. Interuniversity Micro-Electronics Center. V. Title VI. Series | | | Library : UiTM Shah Alam |
| | Accn No. | Item Status | Add Id | Location | SMD | Item Category | | 348916 | Shelf | | PERPUSTAKAAN TUN ABDUL RAZAK(P1) | BOOK | RAK TERBUKA (OPEN SHELVES) | | 355900 | Withdrawn | | PERPUSTAKAAN TUN ABDUL RAZAK(P1) | BOOK | RAK TERBUKA (OPEN SHELVES) |
|
|
|
