Type d'article
Etat
Reliure
Particularités
Pays
Evaluation du vendeur
Edité par Springer, 2008
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Livre
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Edité par Springer, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Livre
Soft Cover. Etat : new.
Edité par Springer Berlin / Heidelberg, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Livre
Etat : Good. 2004th Edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Edité par Springer, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Livre impression à la demande
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer Berlin Heidelberg Sep 2004, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Livre impression à la demande
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 352 pp. Englisch.
Edité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Livre
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Edité par Springer Berlin Heidelberg, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : moluna, Greven, Allemagne
Livre
Kartoniert / Broschiert. Etat : New.
Edité par Springer, 2004
ISBN 10 : 3540230173ISBN 13 : 9783540230175
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Livre
Paperback. Etat : Like New. Like New. book.
Edité par Springer-Verlag New York Inc., 2006
ISBN 10 : 0387244182ISBN 13 : 9780387244181
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Livre impression à la demande
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Edité par Springer-Verlag New York Inc., 2010
ISBN 10 : 1441937412ISBN 13 : 9781441937414
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Livre impression à la demande
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.