This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993. As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

bookmans
9550 E Golf Links Rc, tucson, AZ, 85730, U.S.A.

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, please contact us at your convenience. If you�ve changed your mind about a book that you�ve ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.

Shipping Terms:

Orders usually ship out within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Types for Proofs and Programs: International Workshop...

Types for Proofs and Programs: International Workshop Types '93, Nijmegen, the Netherlands, May 24-28, 1993, Selected Papers (Lecture Notes in Computer Science)

Henk Barendregt~Tobias Nipkow

Used - Soft cover

Seller's business information