Leviton

Felty - Automated Deduction - CADE-25 25th International Conference - S9000z

Description: About this Item The item is a book paperback or softback The Author Name is Felty, Amy P.,Middeldorp, Aart The Title is Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings Condition New Other Comments Pages Count - 670. Binding type - Perfect. Content Language - English Category - COMPUTERS / Software Development & Engineering / Computer Gr COMPUTERS / Artificial Intelligence / General COMPUTERS / Programming / Algorithms We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details  are provided automatically  from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.   Gift IdeasThis is a  great Christmas gift idea.   Hours of ServiceWe have many warehouses,  some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 9000z iHaveit SKU ID 165671672

Price: 77.16 USD

Location: US

End Time: 2024-12-11T21:38:26.000Z

Shipping Cost: 0 USD

Product Images

Felty - Automated Deduction - CADE-25   25th International Conference - S9000z

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

Fiction/Non-Fiction: Non-Fiction

Genre/Subject: COMPUTERS / Software Development Engineering / Computer Gr

Brand: SPRINGER

Weight: 0.93

Style: NA

Title: Automated Deduction - CADE-25 25th International Conference on

Release Title: Automated Deduction - CADE-25 25th International Conference on

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Automated Deduction - CADE-25 25th International Conference on

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Item Height: 34.04

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: Xxviii, 640 Pages

Language: English

Publication Name: Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Publisher: Springer International Publishing A&G

Publication Year: 2015

Subject: Programming / Algorithms, Intelligence (Ai) & Semantics, Logic, Computer Vision & Pattern Recognition

Item Weight: 350.7 Oz

Type: Textbook

Subject Area: Mathematics, Computers

Author: Aart Middeldorp

Item Length: 9.3 in

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

New Felt Bicycle Abraham Linkage Springer Cruiser Fork 26 inch 1 1/8 Steer Rare
New Felt Bicycle Abraham Linkage Springer Cruiser Fork 26 inch 1 1/8 Steer Rare

$160.00

View Details
Vintage Monark Fork Beehive Springer Cruiser Balloon 26" PART Green Monarch Bike
Vintage Monark Fork Beehive Springer Cruiser Balloon 26" PART Green Monarch Bike

$134.99

View Details
Chrome Springer Front End Stock Length Harley Davidson Sportster Bobber Chopper
Chrome Springer Front End Stock Length Harley Davidson Sportster Bobber Chopper

$499.95

View Details
Vintage Harley Chopper Girder Springer Chrome Front End
Vintage Harley Chopper Girder Springer Chrome Front End

$425.00

View Details
DS Springer Forks -2" Shorter than Stock Black Harley Davidson
DS Springer Forks -2" Shorter than Stock Black Harley Davidson

$696.95

View Details
Adult Medium SPRINGER SPANIEL Dog Breed Poses Footwear Dog Socks 6-11
Adult Medium SPRINGER SPANIEL Dog Breed Poses Footwear Dog Socks 6-11

$11.99

View Details
2025 ENGLISH SPRINGER SPANIEL CALENDAR
2025 ENGLISH SPRINGER SPANIEL CALENDAR

$13.99

View Details
Bicycle Springer Fork RUBBER Solid or Sparkle Cruiser Lowrider Bikes===9 Colors
Bicycle Springer Fork RUBBER Solid or Sparkle Cruiser Lowrider Bikes===9 Colors

$14.99

View Details
Springer Spaniel dog  refrigerator magnet 3  1/2 x 5 "
Springer Spaniel dog refrigerator magnet 3 1/2 x 5 "

$5.50

View Details
OG LOWRIDER CLASSIC Bike Bicycle Springer Fork TWISTED Center Bolt 120mm
OG LOWRIDER CLASSIC Bike Bicycle Springer Fork TWISTED Center Bolt 120mm

$32.99

View Details