Skip to main content
Zoom the image with the mouse

Logical and Computational Aspects of Model-Based Reasoning

by

15 order in last 24 hour
ISBN: 9781402007910
List Price: $109.99
Special Offers Available
Free shipping on orders over $95
Buy one with 1% offer on sale price
Buy New
Hurry! Only left
Image coming soon
As low as $109.99

Logical and Computational Aspects of Model-Based Reasoning (9781402007910)

Springer

We can help you leverage the power of books

Customer Service

Connect with a dedicated account manager who is there every step of the way.

Price Match Guarantee

If you see better pricing elsewhere on your desired quantity, we will price match so you can be sure to get the best pricing.

Free Shipping

Enjoy free ground shipping on your order of $95 or more!

Brand New Guarantee

We only sell books that are brand new and protect that with a guarantee.

Customization

From author signatures to marketing inserts, custom packaging to brand stickers, we can help take your book marketing to the next level.

Learn more about ordering
Details
Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in his daily activity. This pressure requires the use of logic as the underlying foundational workhorse of the area. New logics were developed as the need arose and new foci and balance has evolved within logic itself. One aspect of these new trends in logic is the rising impor­ tance of model based reasoning. Logics have become more and more tailored to applications and their reasoning has become more and more application dependent. In fact, some years ago, I myself coined the phrase "direct deductive reasoning in application areas", advocating the methodology of model-based reasoning in the strongest possible terms. Certainly my discipline of Labelled Deductive Systems allows to bring "pieces" of the application areas as "labels" into the logic. I therefore heartily welcome this important book to Volume 25 of the Applied Logic Series and see it as an important contribution in our overall coverage of applied logic.

The book, Logical and Computational Aspects of Model-Based Reasoning (9781402007910) [Order Bulk Books, Wholesale, Quantity Discount] with ISBN# 9781402007910 in by may be ordered bulk quantities. Minimum orders start at copies.

Product details

Publisher: Springer Netherlands
Publisher: Springer Netherlands

GMA connects authors, speakers, and talent with the right people at the right time.

Learn More

Customer Reviews