Cover may not depict edition offered for sale
available COPIES
About this title: This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. By presenting an account which covers resolution theorem-proving in order-sorted first-order logic it provides a self-contained account suitable for students coming to the subject for the first time. Both Gentzen-style sequent calculi and the refutation method known as resolution are treated in detail. Various strategies for pruning resolution search spaces, such as linear, hyper- and ordered resolution are covered. Numerous examples are presented to illustrate the examples ...
read more
Note: This is a general synopsis. Each listing is described below.
Your search: Books » Deduction Systems
(19 available copies)
Page 1 of 1
Deduction Systems
by
Socher-Ambrosius, Rolf
Ships from
CA,
USA
Binding: Hardcover
Publisher: Springer, New York
Date Published: 1997
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Fine. 9.6 x 7.3 x 0.8 inches. Store stamp to first page. This graduate-level text offers a theoretical treatment of the fundamental concepts and methods of automated deduction. read more
condition:
Book:
seller information:
Name:
Karen's Books ,
CA,
USA
Reliability:
Deduction Systems
by
Socher-Ambrosius, Rolf; Johann, Patricia
Ships from
MO,
USA
Binding: Hard/Glossy
Publisher: Springer Verlag, Secaucus, New Jersey, U.S.A.
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Very Fine. No Jacket. 8vo-over 7¾"-9¾" tall. Very fine; covers lightly rubbed; read more
condition:
Book:
seller information:
Name:
Ham Books ,
MO,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
AR,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. 0387948473. CE8-110240416; 1.25. read more
condition:
Book:
seller information:
Name:
HRSBooks ,
AR,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
AR,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. 0387948473. CE8-110240417; 1.25. read more
condition:
Book:
seller information:
Name:
HRSBooks ,
AR,
USA
Reliability:
Deduction Systems
by
Socher-Ambrosius, R.; Johann, P.
Ships from
TX,
USA
Binding: 6
ISBN-13: 9780387948478
ISBN: 0387948473
Description: US Edition Brand New books, Ship via USPS with Delivery confirmation, No APO/FPO addresses. read more
condition:
Book:
Available qty:
3
seller information:
Name:
TextbookStudent ,
TX,
USA
Reliability:
Deduction Systems (Graduate Texts in Computer Science).
by
Rolf Socher-Ambrosius, Patricia Johann
Ships from
MA,
USA
Binding: Hardcover
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Springer Verlag, 1997. Hardcover. Brand new book, but without dust jacket. ISBN: 0387948473. read more
condition:
Book:
seller information:
Name:
Terramedia Books ,
MA,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
TX,
USA
Edition: 1st edition
Binding: Hardcover
Publisher: Springer
Date Published: 1996-12-05
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Like New. 0387948473. read more
condition:
Book:
seller information:
Name:
Found Books ,
TX,
USA
Reliability:
Deduction Systems
by
Rolf Socher-Ambrosius Et. Al
Ships from
NY,
USA
Publisher: SPRINGER
Date Published: 1997
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New in new dust jacket. New. US edition. Great savings. read more
Deduction Systems (Texts in Computer Science)
by
Socher-Ambrosius, Rolf; Johann, Patricia
Ships from
TX,
USA
Publisher: Springer
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. 0387948473 Prompt customer service, FedEx tracking no. Packages deliver in 4-6 business days. traceable from next day. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
Bookland ,
TX,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
MI,
USA
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. New, neatly stored and in excellent condition. International orders via air mail except large books. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
aon ,
MI,
USA
Reliability:
Deduction Systems (Graduate Texts in Computer Science)
by
Socher Ambrosius, R
Ships from
OR,
USA
Binding: H HARDCOVER
Publisher: Springer-Verlag
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Very good No dustjacket. read more
condition:
Book:
seller information:
Name:
Powell's Books ,
OR,
USA
Reliability:
Deduction Systems
by
Rolf Socher-Ambrosius Et. Al
Publisher: SPRINGER
Date Published: 1997
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Brand New. Brand New original book. read more
condition:
Book:
Available qty:
>10
seller information:
Name:
booksNbooks ,
INDIA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Socher-Ambrosius, Rolf; Johann, Patricia
Ships from
NJ,
USA
Binding: Hardcover
Publisher: Springer
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. 0387948473. read more
condition:
Book:
Available qty:
10
seller information:
Name:
BookXpressNJ ,
NJ,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
FL,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Very good. read more
condition:
Book:
Available qty:
4
seller information:
Name:
More Books ,
FL,
USA
Reliability:
Deduction Systems
by
Socher-Ambrosius, Rolf-Johann, Patrici,
Ships from
VIC,
AUSTRALIA
Edition: 1st
Binding: Hardcover
Publisher: Springer-verlag
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New in New jacket. read more
condition:
Book:
Available qty:
10
seller information:
Name:
Knowledgetreebooks ,
VIC,
AUSTRALIA
Reliability:
Deduction Systems
by
Socher-Ambrosius, Rolf-Johann, Patrici,
Edition: 1st
Binding: Hardcover
Publisher: Springer-verlag
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New in New jacket. read more
condition:
Book:
Available qty:
10
seller information:
Name:
Delhi Book Store ,
INDIA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Rolf Socher-Ambrosius
Ships from
FL,
USA
Binding: Hardcover
Publisher: Springer
Date Published: 1996
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. read more
condition:
Book:
Available qty:
4
seller information:
Name:
More Books ,
FL,
USA
Reliability:
Deduction Systems
by
Rolf Socher-Ambrosius, R Socher-Ambrosius
Ships from
NJ,
USA
ISBN-13: 9780387948478
ISBN: 0387948473
Description: Like New. NO EXPEDITED SHIPPING! May have remainder marks. read more
condition:
Book:
Available qty:
10
seller information:
Name:
A1Books ,
NJ,
USA
Reliability:
Deduction Systems (Texts in Computer Science)
by
Socher-Ambrosius, Rolf; Johann, Patricia
Ships from
TX,
USA
Binding: Hardcover
Publisher: Springer
ISBN-13: 9780387948478
ISBN: 0387948473
Description: New. 0387948473 Brand New US Edition. No P.O. Box please. read more
condition:
Book:
Available qty:
3
seller information:
Name:
TextBookMart ,
TX,
USA
Reliability:
Be the first to write a review
& you could win a FREE gift!
Share this book
We guarantee every item's condition, as described on Alibris. If you are not satisfied that an item is as described, return your purchase for a refund.
