|
" Theorem proving in higher order logics "
Stefan Berghofer ... [et al.] (ed.)
Document Type
|
:
|
BL
|
Record Number
|
:
|
594397
|
Doc. No
|
:
|
b423616
|
Main Entry
|
:
|
TPHOLs 2009(2009 :, Munich, Germany)
|
Title & Author
|
:
|
Theorem proving in higher order logics : 22nd international conference ; proceedings, TPHOLs 2009, Munich, Germany, August 17-20, 2009 /\ Stefan Berghofer ... [et al.] (ed.)
|
Publication Statement
|
:
|
Berlin :: Springer,, c2009
|
Series Statement
|
:
|
Lecture notes in computer science ;; 5674
|
|
:
|
LNCS sublibrary, SL 1, Theoretical computer science and general issues
|
Page. NO
|
:
|
1 online resource (xi, 515 p.) :: ill
|
ISBN
|
:
|
9783642033599
|
|
:
|
: 3642033598
|
|
:
|
: 9783642033582
|
|
:
|
: 364203358x
|
Notes
|
:
|
Title from PDF t.p. (SpringerLink, viewed Dec. 10, 2009)
|
|
:
|
Includes index
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
Subject
|
:
|
Automatic theorem proving, Congresses
|
LC Classification
|
:
|
QA76.9.A96T646 2009
|
Added Entry
|
:
|
Berghofer, Stefan
|
Parallel Title
|
:
|
TPHOLs 2009
|
| |