Articles liés à Theorem Proving in Higher Order Logics: 12th International...
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Couverture souple
Synopsis
Theorem Proving in Higher Order Logics The refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. Among the theorem provers evaluated in these 20 revised papers are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540664637
- ISBN 13 9783540664635
- ReliureBroché
- Langueanglais
- Nombre de pages372
Acheter neuf
Afficher cet article
EUR 54,82
EUR 3,57 expédition vers Etats-Unis
Destinations, frais et délais
Résultats de recherche pour Theorem Proving in Higher Order Logics: 12th International...
Image d'archives
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Edité par
Springer, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Ancien ou d'occasion
paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_321139305
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD1423704
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Edité par
Springer, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 918683
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020174205
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 918683-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Edité par
Springer Berlin Heidelberg, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 372 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 18317/2
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Edité par
Springer, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 918683
Quantité disponible : Plus de 20 disponibles
Image d'archives
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540664635_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theorem Proving in High Order Logics : 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 918683-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Theorem Proving in Higher Order Logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
Edité par
Springer Berlin Heidelberg, 1999
ISBN 10 : 3540664637
ISBN 13 : 9783540664635
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. N° de réf. du vendeur 9783540664635
Quantité disponible : 1 disponible(s)