The book store at your door!
Colog-88
(Paperback - 21021990)by Write a Review
|  off  |
Imported Edition. Order now and get it in 14-21 business days. See Details
All India - Free Shipping. See Details
Ships to India only.
Buy online using:
- Debit Card / Internet Banking / ATM Card
- Credit Card (VISA & MasterCard)
- Cheque, Demand Draft or Money Order. See Details
Publisher: Springer
OR
Book: Colog-88
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
No Reviews Yet! Be the first one to review this book.
Details of Book: Colog-88 Book: Colog-88
Author: Per Martin-lvf, Grigori Mints, Per Martin-lof
ISBN:
ISBN-13:
Binding: Paperback
Publishing Date: 21021990
Publisher: Springer
Number of Pages: 352
Language: English
Author: Per Martin-lvf, Grigori Mints, Per Martin-lof
ISBN:
3540523359
ISBN-13:
9783540523352
,978-3540523352
Binding: Paperback
Publishing Date: 21021990
Publisher: Springer
Number of Pages: 352
Language: English
Related Tags colog
2 States: The Story Of My Marriage by Chetan BhagatFourth book by the bestselling author Chetan Bhagat.
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
2 States is a story about Krish and Ananya. They are from two different states of India, deeply in love and want to get married. Of course, their parents don’t agree. To convert their love story into a love marriage, the couple have a tough battle in front of them.
Order now at 32% Discount
Popular at Flipkart.comForensic Criminology | Alexandria | Werner And Ingbar*s The Thyroid | The Life Of George Bull, Lord Bishop Of St. David's | Lincoln, His Life And Time V1 | Transcaucasia And Ararat | A Treatise On Some Of The Insects Injurious To Vegetation | | Paul & Virginia | Integrated Care Pathways | Stallcup's Electrical Grounding And Bonding Simplified, 2008 Edition | Troilus And Cressida | Alexander Calder And His Magical Mobiles | A Sentimental Journey Through France And Italy - The Journal To Eliza | | Chameleon Races | Pretend Soup And Other Real Recipes | Indian Political Thinkers | Research In Value Education | Criminals And Crime | Biology Of Wetas, King Crickets And Their Allies | Jinnah | An Introduction To The Philosophy Of History | Theories Of Imperialism | The Monk Who Sold His Ferrari | Friends For Keeps | Word Power Made Easy - The Most Effective Vocabulary Builder In The English Language) | Getting Started In Fundamental Analysis | The Last Juror | Computer Networks 4e | Head First Html With Css & Xhtml | Windows Media 9 Series By Example | Language Instinct | Power Yoga | Institutions, Consultants And Transformation | Self Letter Drafting Course | The 33 Strategies Of War | Microbe Hunters | Ps, I Love You | The Little Book That Beats The Market | The Interpretation Of Dreams | Think And Grow Rich | 100 Lyrics | Wisdom Of Whores | Spiritual Disciplines For The Christian Life | How To Eat, Move And Be Healthy! | Thinking In C++ Vol-2 | How To Teach Your Baby Math | You Can Win | Empire & Information Intelligence Gathering & Social Communication In India 1780-1870 | more...
Your Recent Searches (click to search again)
| patrick johan kugelberg michael e mortenson henry f korth r jayaswal | general wesley k clark lazarus miti madhavikutty richard panchyk fawcett s e |
Book: Colog-88 by Per Martin-lvf, Grigori Mints, Per Martin-lof
ISBN Number: 3540523359, 9783540523352, 978-3540523352