|
|
|
|
| LEADER |
01379nam a2200253 a 4500 |
| 001 |
1672719 |
| 005 |
20171111234353.0 |
| 008 |
020109s1993 cy da er 000 u eng d |
| 020 |
|
|
|a 0444898808
|q pbk.
|
| 040 |
|
|
|a CY
|b University of Cyprus
|e AACR-2
|
| 050 |
|
|
|a QA76.9.A96I34 1993
|
| 110 |
2 |
|
|a IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
|
| 245 |
1 |
0 |
|a Higher order logic theorem proving and its applications:
|b proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/
|c organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
|
| 260 |
|
|
|a Amsterdam:
|b North-Holland,
|c 1993
|
| 300 |
|
|
|a xiii, 568 p. :
|b ill. ;
|c 22 cm.
|
| 490 |
0 |
|
|a IFIP transactions.. A, Computer science and technology
|v 20
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Automatic theorem proving
|x Congresses
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical
|x Congresses
|
| 700 |
1 |
|
|a Claesen, Luc J. M.
|
| 700 |
1 |
|
|a Gordon, Michael J. C.,
|
| 710 |
2 |
|
|a Interuniversity Micro-Electronics Center
|
| 710 |
2 |
|
|a Commission of the European Communities
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0445636c5ad14ac1eafac7
|c 998a
|d 945l
|e QA76.9.A96I34 1993
|t 1
|x m
|z Books
|
