Catalog

Record Details

Catalog Search


Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings Cover Image E-book E-book

Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.

Berghofer, Stefan. (editor.). Nipkow, Tobias. (editor.). Urban, Christian. (editor.). Wenzel, Makarius. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02024nam a22005055i 4500
00138587
003CONS
00520131220055937.0
007cr nn 008mamaa
008100301s2009 gw | s |||| 0|eng d
020 . ‡a9783642033599 ‡9978-3-642-03359-9
0247 . ‡a10.1007/978-3-642-03359-9 ‡2doi
035 . ‡a(DE-He213)978-3-642-03359-9
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aBerghofer, Stefan. ‡eeditor.
24510. ‡aTheorem Proving in Higher Order Logics ‡h[electronic resource] : ‡b22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / ‡cedited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5674
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aMathematics of Computing.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aModels and Principles.
7001 . ‡aNipkow, Tobias. ‡eeditor.
7001 . ‡aUrban, Christian. ‡eeditor.
7001 . ‡aWenzel, Makarius. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642033582
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v5674
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-03359-9 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a38587 ‡b ‡c38587 ‡tbiblio ‡sSystem Local

Additional Resources