Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2002.
|
Έκδοση: | 1st ed. 2002. |
Σειρά: | Lecture Notes in Computer Science,
2410 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Φυσική περιγραφή: | X, 347 p. online resource. |
---|---|
ISBN: | 9783540456858 |
ISSN: | 0302-9743 ; |
DOI: | 10.1007/3-540-45685-6 |