Aspects of Harmonic Analysis on Locally Compact Abelian Groups
Jean H. Gallier, Jocelyn Quaintance
₹4,818
Logic for Computer Science
Foundations of Automatic Theorem Proving
Dover Pubns · 2015
₹3,576
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Logic for Computer Science: Foundations of Automatic Theorem Proving is written by Jean H. Gallier. This edition from Dover Pubns (2015) has 496 pages.
Topics covered include Automatic theorem proving and Symbolic and mathematical Logic.
Book details
- ISBN-13
- 9780486780825
- ISBN-10
- 0486780821
- Author
- Jean H. Gallier
- Publisher
- Dover Pubns
- Published
- 2015
- Edition
- 2
- Pages
- 496
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Jean H. Gallier and related titles
MadCap Flare for Programmers
of Philosophy David Owens, Thomas Tregner
₹3,795
Blockchain and Artificial Intelligence-Based Solution to Enhance the Privacy in Digital Identity and IoT
Fehmi Jaafar, Schallum Pierre
₹8,747
Pltmg
Randolph E. Bank
₹3,137
Software Design Patterns
Sufyan bin Uzayr
₹2,983
iPod
Jude Biersdorfer, David Pogue
₹4,134
Takagi-Sugeno Fuzzy Systems Non-fragile H-infinity Filtering
Xiao-Heng Chang
₹7,768
Acquisition, Analysis and Use of Clinical Transplant Data
Rainer Janßen, Gerhard Opelz
₹5,124
Monte Carlo Calculations in Nuclear Medicine
Michael Ljungberg, Sven-Erik Strand, Michael A. King
₹14,120
Master Your Macintosh Software
Alison McCallum-Varey
₹4,068
Ninety Nine Ways to Improve Your Citizen's Band Radio
Len Buckwalter
₹3,749
Fundamentals of Logic and Computation
Zhe Hou
₹2,892