Eppendorf

Schmidt - Automated Reasoning with Analytic Tableaux and Related Meth - S9000z

Description: About this Item The item is a book paperback or softback The Author Name is Schmidt, Renate A.,Nalon, Cludia The Title is Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Braslia, Brazil, September 25-28, 2017 Condition New Other Comments Pages Count - 396. Binding type - Perfect. Content Language - English Category - COMPUTERS / Artificial Intelligence / General MATHEMATICS / Logic COMPUTERS / Programming / General 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 166344860

Price: 95.23 USD

Location: US

End Time: 2024-12-15T11:50:45.000Z

Shipping Cost: 0 USD

Product Images

Schmidt - Automated Reasoning with Analytic Tableaux and Related Meth - 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 / Artificial Intelligence / General

Brand: SPRINGER

Weight: 0.55

Style: NA

Title: Automated Reasoning with Analytic Tableaux and Related Methods

Release Title: Automated Reasoning with Analytic Tableaux and Related Methods

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: Automated Reasoning with Analytic Tableaux and Related Methods

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Item Height: 20.57

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: Xii, 381 Pages

Language: English

Publication Name: Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Publisher: Springer International Publishing A&G

Publication Year: 2017

Subject: Programming / General, Intelligence (Ai) & Semantics, Computer Science, Logic

Item Weight: 210.6 Oz

Type: Textbook

Item Length: 9.3 in

Author: Cláudia Nalon

Subject Area: Computers, Philosophy

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

26" Classical Triple Tree Dual Springer Fork for Disc Brake 25.4MM
26" Classical Triple Tree Dual Springer Fork for Disc Brake 25.4MM

$268.99

View Details
26" Bent Springer Fork Bicycle,Bike Cruiser,Chopper Lowrider Chrome
26" Bent Springer Fork Bicycle,Bike Cruiser,Chopper Lowrider Chrome

$55.95

View Details
Vintage Springer Fork Cruiser
Vintage Springer Fork Cruiser

$120.00

View Details
New 18” Black Antique Style Springer Front End for Harley Davidson Or Custom
New 18” Black Antique Style Springer Front End for Harley Davidson Or Custom

$849.00

View Details
CDHPOWER 1 inch Threaded Bicycle Fork 26" Dual Springer Bike Fork &Headset Combo
CDHPOWER 1 inch Threaded Bicycle Fork 26" Dual Springer Bike Fork &Headset Combo

$117.99

View Details
HD Black Springer Fork Tapered Leg 2in. Over Harley Dyna Street Bob 06-17
HD Black Springer Fork Tapered Leg 2in. Over Harley Dyna Street Bob 06-17

$558.22

View Details
HARLEY DAVIDSON OEM SOFTAIL SPRINGER FRONT END LIGHT RISERS NICE
HARLEY DAVIDSON OEM SOFTAIL SPRINGER FRONT END LIGHT RISERS NICE

$2850.00

View Details
Black Chrome Chopper Front End Harley Triumph Springer Motorcycle Fork 4 *TZ38
Black Chrome Chopper Front End Harley Triumph Springer Motorcycle Fork 4 *TZ38

$879.99

View Details
VINTAGE LOWRIDER NAME CHROME BIKE SPRINGER FORK YOKE LOWRIDER SCHWINN STINGRAY
VINTAGE LOWRIDER NAME CHROME BIKE SPRINGER FORK YOKE LOWRIDER SCHWINN STINGRAY

$14.79

View Details
26" - 29'' Dual 28.6mm Threadless Springer Triple Tree Fork Disc Brake
26" - 29'' Dual 28.6mm Threadless Springer Triple Tree Fork Disc Brake

$339.98

View Details