BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH
Stock photo: cover may vary

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS Hardback - 2001

by OMODEO, EUGENIO,

Add to wish list
  • New
  • Hardback
  • first
New

Description

Springer, 2001. 1st. Hardcover. New/New.
Ask the seller a question Add to wish list
A$133.57
A$29.04 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from DELHI BOOK STORE (Delhi, India)

Details

  • Title SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS
  • Author OMODEO, EUGENIO,
  • Binding Hardback
  • Edition 1st
  • Condition New
  • Pages 409
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY
  • Publication date 2001
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • Bookseller's Inventory # AME_9780387951973
  • ISBN 9780387951973 / 0387951970
  • Weight 1.63 lbs (0.74 kg)
  • Dimensions 9.52 x 6.38 x 1 in (24.18 x 16.21 x 2.54 cm)
  • Category Mathematics
  • Library of Congress subjects Set theory, Computable functions
  • Library of Congress Catalogue Number 2001020446
  • Dewey Decimal Code 511.322
  • Quantity available 2

About DELHI BOOK STORE Delhi, India

Biblio member since 2007

Our prime concern is to make books available with its extensive choices of titles on all subjects for medicine, engineers, technocrats, corporates, scientists, academics, students, scholars and many more at attractive price range.

Terms of Sale: BOOKS CAN BE RETURNED IF IT IS UNOPENED OR SHRINK WRAP IS NOT BROKEN.

Browse books from DELHI BOOK STORE

Reader reviews for SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

From the publisher

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

First line

Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics.
tracking-