Tekijä: Konrad Polthier (ed.); Martin Aigner (ed.); Tom M. Apostol (ed.); Hans-Christian Hege (ed.); Ulrich Weinberg (ed.) Kustantaja: Springer (2008) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Roman Wyrzykowski (ed.); Jack Dongarra (ed.); Konrad Karczewski (ed.); Jerzy Wasniewski (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Leonard Bolc (ed.); Ryszard Tadeusiewicz (ed.); Leszek J. Chmielewski (ed.); Konrad Wojciechowski (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Mathias Jucker (ed.); Konrad Beyreuther (ed.); Christian Haass (ed.); Roger M. Nitsch (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Roman Wyrzykowski (ed.); Jack Dongarra (ed.); Konrad Karczewski (ed.); Jerzy Wasniewski (ed.) Kustantaja: Springer (2012) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Leonard Bolc (ed.); Konrad Wojciechowski (ed.); Ryszard Tadeusiewicz (ed.); Leszek J. Chmielewski (ed.) Kustantaja: Springer (2012) Saatavuus: Noin 17-20 arkipäivää
Tekijä: R. Kallenbach (ed.); Thérèse Encrenaz (ed.); Johannes Geiss (ed.); Konrad Mauersberger (ed.); Tobias Owen (ed.); Fr Robert Kustantaja: Springer (2012) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Robert Burduk (ed.); Konrad Jackowski (ed.); Marek Kurzynski (ed.); Michał Wozniak (ed.); Andrzej Zolnierek (ed.) Kustantaja: Springer (2013) Saatavuus: Noin 17-20 arkipäivää
Springer Sivumäärä: 340 sivua Asu: Pehmeäkantinen kirja Painos: 2004 Julkaisuvuosi: 2004, 01.09.2004 (lisätietoa) Kieli: Englanti
This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14–17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee. Of these submissions, 21 were accepted for presentation at the c- ference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2004 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings c- taining papers about in-progress work was published as a 2004 technical report of the School of Computing at the University of Utah. The organizers are grateful to Al Davis, Thomas Hales, and Ken McMillan for agreeing to give invited talks at TPHOLs 2004. The TPHOLs conference traditionally changes continents each year in order to maximize the chances that researchers from around the world can attend.
