null
Loading…
Skip to main content Skip to buy box

Holiday gifts by Fri, Dec 18? Order by Thu, Dec 3. Plan gifts Gifts by Dec 18? Order by Dec 3. Plan

Free shipping on most orders over $95 in the contiguous US

Specialists Mon–Fri, 8:30 am–5 pm PTSpecialists Mon–Fri, 8:30–5 PT866-522-6657

Printed to order
Representation Theorems in Computer Science: A Treatment in Logic Engineering book cover by Özgür Lütfü Özçep
Paperback

Representation Theorems in Computer Science: A Treatment in Logic Engineering

by Özgür Lütfü Özçep

From $96.79 / copy at 25+ copies; lower per-copy prices at higher quantities (see Volume pricing) As low as $94.59 at 100+

Total $2,419.75

Paperback · 190 pages Springer International Publishing · 2020

Format

Paperback
Volume pricing

The more copies, the less each one costs

Applied automatically in your cart. No code needed.

About the book

Representation Theorems in Computer Science

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an understanding of all models of a specification in order to exclude possible unintended models, demonstrating the general methodology with representation theorems for applications in qualitative spatial reasoning, data stream processing, and belief revision.

For qualitative spatial reasoning, it develops a model of spatial relatedness that captures the scaling context with hierarchical partitions of a spatial domain, and axiomatically characterizes the resulting relations. It also shows that various important properties of stream processing, such as prefix-determinedness or various factorization properties can be axiomatized, and that the axioms are fulfilled by natural classes of stream functions. The third example is belief revision, which is concerned with the revision of knowledge bases under new, potentially incompatible information. In this context, the book considers a subclass of revision operators, namely the class of reinterpretation operators, and characterizes them axiomatically. A characteristic property of reinterpretation operators is that of dissolving potential inconsistencies by reinterpreting symbols of the knowledge base.

Intended for researchers in theoretical computer science or one of the above application domains, the book presents results that demonstrate the use of representation theorems for the design and evaluation of formal specifications, and provide the basis for future application-development kits that support application designers with automatically built representations.


Details

Publisher
Springer International Publishing
Author
Özgür Lütfü Özçep
Format
Paperback
Published
Aug 14, 2020
ISBN-13
9783030257873
Pages
190
Printing
Printed on demand
Buying for a group

Representation Theorems in Computer Science for groups: pricing

Volume pricing applies automatically in your cart. No codes, no account needed.

CopiesPrice per copyYou save
25 – 49 $96.79 12% off list
50 – 99 $95.69 13% off list
100+ $94.59 14% off list
Ways groups use it

Popular for

1
Course and classroom adoption

A copy for every student in the class or section.

2
Faculty and staff book studies

Shared reading for professional development.

3
Orientation and campus events

Common reads and first-year programs.

Where can I buy 100 copies of Representation Theorems in Computer Science?

BookPal sells Representation Theorems in Computer Science in quantity. At 100 copies the price is $94.59 a copy, against a list price of $109.99, and the cart applies the volume tier automatically. Free shipping on most orders over $95 in the contiguous US. A specialist can quote a larger or mixed order.

  • New books only, straight from the publisher
  • Volume prices apply automatically in the cart, with no code needed
  • Order at least 10 business days before you need the books (11 from mid-November through December)

Ask a specialist about a larger or mixed order

What does Representation Theorems in Computer Science cost when I buy for a group?

Volume pricing applies automatically in your cart, with no code needed. Price per copy: 25 to 49 copies, $96.79 (12% off list); 50 to 99 copies, $95.69 (13% off list); 100+ copies, $94.59 (14% off list). Need a different quantity, or a quote to forward for approval? Ask a specialist and we will confirm pricing before you pay.

How fast can I get copies of Representation Theorems in Computer Science?

This title is printed on demand, so it needs production time before it ships. Need them by a specific date? Request a quote and we'll confirm timing before you pay.

Can you ship to several locations or people's homes?

Yes. We ship group orders to one address, to multiple sites, or to individual recipients, in the US and internationally. See fulfillment options.

Can I get a formal quote for approval before ordering?

Yes. Request a quote and we'll send a PDF you can forward for approval.

Do you accept purchase orders and tax-exempt orders?

Yes. We accept purchase orders upon approval, as well as cards, PayPal, ACH, wire transfers and checks. BookPal is a tax-exempt supplier in all 50 states. See purchase orders and sales tax exemption.

What if I find a lower price?

Send us the link. We match prices from other booksellers and distributors on a new copy in the same edition, available to ship in the quantity you need. Clearance sales and pricing errors are the exception, and we'll tell you quickly if that's the case. Start a price match.

Send for approval

Get a yes from your approver

Representation Theorems in Computer Science: A Treatment in Logic Engineering
Email it to my approver

Your approver gets a link to this page with the quantity set and an "Approve and order" button. Nothing is sent until you press send in your email app.

Log In
Review Your Cart
Your cart is empty Your cart is empty Your cart is empty

Menu

Recently Viewed Recently Viewed
Back to top Back to top