Theorem Proving in Higher Order Logics

Name: Theorem Proving in Higher Order Logics: 9th International Conference
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540615873
Price: 3391.00 INR
Availability: InStock

9th International Conference

by Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 1996 · Paperback

₹3,391

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹3,086 for this book (save ₹305).

9% off every book, up to ₹500 off per order.

About this book

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co.The book is part of the Lecture notes in computer science series.

Its main subjects are Congresses, Automatic theorem proving, Mathematical logic and Mathematical theory of computation.

Book details

ISBN-13: 9783540615873
ISBN-10: 3540615873
Authors: Juris Hartmanis Gerhard Goos, Joakim Wright Jan Leeuwen, John Harrison Jim Grundy
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 1996
Series: Lecture notes in computer science
Edition: Annotated
Binding: Paperback
Pages: 455
Language: English
Condition: New
Subject: Mathematical theory of computation