TY  - BOOK
AU  - Boulton,Richard J.
ED  - TPHOLs
TI  - Theorem proving in higher order logics: 14th international conference, Edinburgh, Scotland UK, September 3 - 6, 2001 ; proceedings
T2  - Lecture notes in computer science
SN  - 354042525X
PY  - 2001///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Automatisches Beweisverfahren
KW  - HOL
KW  - Konferenzschrift
KW  - 2001
KW  - Edinburgh
KW  - gnd-content
UR  - https://swbplus.bsz-bw.de/bsz094304696inh.htm
UR  - https://swbplus.bsz-bw.de/bsz094304696kap.htm
UR  - https://swbplus.bsz-bw.de/bsz094304696cov.jpg
UR  - https://zbmath.org/?q=an:0971.00027
ER  -