Buy Ganesh C Gopalakrishnan Books Online at Best Prices In India - Bookswagon

My Account
Log in New to Bookswagon?
Sign up
Log out
0
0

My Account

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Ganesh C Gopalakrishnan

Ganesh C Gopalakrishnan

3 results found

Sort By:

1.

Theorem Proving in Higher Order Logics

36 %

Theorem Proving in Higher Order Logics

By: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹5,474

₹3,503

Binding:	Paperback
Release:	01 Sep 2004
Language:	English

Available

Ships within 12-14 Days Explain..

2.

Computation Engineering

Computation Engineering

By: Ganesh C. Gopalakrishnan

Publisher: Springer-Verlag New York Inc.

No Review Yet

₹5,814

Binding:	Hardback
Release:	01 Dec 2007
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

3.

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

By: Konrad Slind, Annette Bunker, Ganesh C Gopalakrishnan

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

ASK VIDYA

Open Chatbot