0
Your cart

Your cart is empty

Books > Computing & IT > Computer software packages > Other software packages > Mathematical & statistical software

Buy Now

Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.) Loot Price: R1,660
Discovery Miles 16 600
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,...

Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.)

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Series: Lecture Notes in Computer Science, 1690

 (sign in to rate)
Loot Price R1,660 Discovery Miles 16 600 | Repayment Terms: R156 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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."

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1690
Release date: 2001
First published: 1999
Editors: Yves Bertot • Gilles Dowek • Andre Hirschowitz • Christine Paulin • Laurent Thery
Dimensions: 233 x 155 x 20mm (L x W x T)
Format: Paperback
Pages: 364
Edition: 1999 ed.
ISBN-13: 978-3-540-66463-5
Categories: Books > Science & Mathematics > Mathematics > Applied mathematics > General
Books > Computing & IT > Computer software packages > Other software packages > Mathematical & statistical software
Promotions
LSN: 3-540-66463-7
Barcode: 9783540664635

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

A Physicist's Guide to Mathematica
Patrick T Tam Paperback R1,721 Discovery Miles 17 210
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,341 Discovery Miles 13 410
An Introduction to Creating Standardized…
Todd Case, Yuting Tian Hardcover R1,623 Discovery Miles 16 230
Mathematical Modeling for Smart…
Debabrata Samanta, Debabrata Singh Hardcover R12,400 Discovery Miles 124 000
Predictive Modeling with SAS Enterprise…
Kattamuri S Sarma Hardcover R2,482 Discovery Miles 24 820
SAS Certified Professional Prep Guide…
Sas Institute Hardcover R3,607 Discovery Miles 36 070
Jump into JMP Scripting, Second Edition…
Wendy Murphrey, Rosemary Lucas Hardcover R1,654 Discovery Miles 16 540
Spatial Regression Analysis Using…
Daniel A. Griffith, Yongwan Chun, … Paperback R3,203 Discovery Miles 32 030
Simulating Data with SAS (Hardcover…
Rick Wicklin Hardcover R1,785 Discovery Miles 17 850
Portfolio and Investment Analysis with…
John B. Guerard, Ziwei Wang, … Hardcover R2,491 Discovery Miles 24 910
Proc SQL - Beyond the Basics Using SAS…
Kirk Paul Lafler Hardcover R2,076 Discovery Miles 20 760
The Global English Style Guide - Writing…
John R Kohl Hardcover R2,069 Discovery Miles 20 690

See more

Partners