My Account
Log in
New to Bookswagon?
Sign up
Your Account
Personal Settings
Your Orders
Your Wishlist
Your Gift Certificate
Your Addresses
Change Password
Currency
₹
$
Log out
0
Book
New Arrivals
Box Sets
Bestsellers
Fiction Books
Award Winners
Featured Authors
Today's Deal
Request a Book
0
Art & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning ma
Login & Sign up
×
Books
Art & Photography
Architecture
Art forms
Art treatments & subjects
Dance & other performing arts
Film, tv & radio
History of art / art & design styles
Industrial / commercial art & design
Music
Photography & photographs
The arts: general issues
Theatre studies
Biographies & Memoirs
Biography: general
Collected biographies
Diaries, letters & journals
Memoirs
True stories
Dictionaries & Language
Language teaching & learning (other than ELT)
Language: reference & general
Linguistics
Literature & literary studies
Anthologies (non-poetry)
Classical texts
Literature: history & criticism
Plays, playscripts
Poetry
Prose: non-fiction
English Language Teaching
Elt background & reference material
Elt: english for specific purposes
Elt: learning material & coursework
Fiction
Adventure
Classic fiction
Crime & mystery
Erotic fiction
Fantasy
Fiction-related items
Fiction: special features
Graphic novels
Historical fiction
Horror & ghost stories
Modern & contemporary fiction
Myth & legend told as fiction
Religious & spiritual fiction
Romance
Sagas
Science fiction
Thriller / suspense
References & Encyclopedias
Encyclopaedias & reference works
Interdisciplinary studies
Library & information sciences
Museums & museology
Research & information: general
History & Humanities
Archaeology
History
Philosophy
Religion & Spirituality
Society & social sciences
Education
Politics & Current Events
Psychology
Social services & welfare, criminology
Society & culture: general
Sociology & anthropology
Warfare & defence
Business & Economics
Business & management
Economics
Finance & accounting
Industry & industrial studies
Law
International law
Jurisprudence & general issues
Law: study & revision guides
Laws of specific jurisdictions
Medicine
Clinical & internal medicine
Complementary medicine
Medical study & revision guides & reference mater
Medicine: general issues
Nursing & ancillary services
Other branches of medicine
Pre-clinical medicine: basic sciences
Surgery
Veterinary medicine
Science & Mathematics
Astronomy, space & time
Biology, life sciences
Chemistry
Mathematics
Physics
Science: general issues
Environment & Geography
Earth sciences
Geography
Regional & area planning
The environment
Technology & Engineering
Agriculture & farming
Biochemical engineering
Civil engineering, surveying & building
Electronics & communications engineering
Energy technology & engineering
Environmental science, engineering & technology
Industrial chemistry & manufacturing technologies
Mechanical engineering & materials
Other technologies & applied sciences
Technology: general issues
Transport technology & trades
Computer & Internet
Business applications
Computer certification
Computer hardware
Computer networking & communications
Computer programming / software development
Computer science
Computer security
Computing: general
Databases
Digital lifestyle
Graphical & digital media applications
Operating systems
Parenting, Family & Health
Body, Mind & Spirit
Family & health
Self Help & Personal Development
Lifestyle
Antiques & collectables
Cookery, Food & Wine
Gardening
Handicrafts, decorative arts & crafts
Hobbies, quizzes & games
Home & house maintenance
Humour
Lifestyle & personal style guides
Local interest, family history & nostalgia
Miscellaneous items
Natural history
Sports
Transport: general interest
Travel & holiday
Children & Teens
Children’s & young adult fiction & true stories
Children’s & young adult general non-fiction
Children’s & young adult poetry, anthologies, annu
Children’s & young adult reference material
Children’s stationery & miscellaneous items
Educational material
Personal & social issues
Picture books, activity books & early learning ma
New Arrivals
Box Sets
Bestsellers
Fictions Books
Award Winners
Featured Authors
Today's Deal
Request Books
Home
Account
0
Wishlist
0
Cart
Categories
Close
Refine your Search
By Price
All
(2)
Above Rs.2000
(2)
Availability
All
(2)
In Stock
(1)
Out of Stock
(1)
Shipping Time
All
(2)
1-2 Weeks
(2)
Source
All
(2)
International
(2)
Binding
All
(2)
PaperBack
(2)
Language
All
(2)
English
(2)
Publication Year
All
(2)
Others
(2)
Filter By Category
All Categories
Computer & Internet
Science & Mathematics
Assia Mahboubi
2
results found
Sort By:
Relevance
Best Seller
Title - A to Z
Title - Z to A
Price - Low to High
Price - High to Low
Discount - Low to High
Discount - High to Low
1.
2
%
NR
Interactive Theorem Proving
By:
Jeremy Avigad
,
Assia Mahboubi
Publisher:
Springer
No Review Yet
₹9,199
₹9,015
Binding:
Paperback
Release:
04 Jul 2018
Language:
English
International Edition
Ships within
12-14 Days
Explain..
Free Shipping in India and low cost Worldwide.
2.
NR
Interactive Theorem Proving
By:
Avigad Jeremy Avigad
,
Mahboubi Assia Mahboubi
Publisher:
Springer Nature B.V.
No Review Yet
₹4,286
Binding:
Paperback
Release:
09 Jul 2018
Language:
English
Out of Stock
Notify me when this book is in stock
Notify Me
We will notify you once this book available in stock.
No more records found
×
An OTP has been sent to your Registered Email Id:
Resend Verification Code
