Jardan

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos

Description: Marhoefer Roberts presents ...Automated Reasoning and Its Applications: Essays in Honor of Larry Wos ISBN:0262220555 Author:Veroff, Robert [Editor] Publisher:The MIT Press Release Date:6/6/1997 Seller Category:1 Qty Available:4 Condition:Used: Excellent Sku: MIT-HC-LN-0262220555Notes: LIKE NEW/UNREAD!!! Text is Clean and Unmarked! Has a small black line or red dot on the bottom/exterior edge of pages.Don't forget to check out other great deals in our eBay Store!!

Price: 7.33 USD

Location: Mckeesport, PA

End Time: 2024-11-15T15:04:11.000Z

Shipping Cost: 0 USD

Product Images

Automated Reasoning and Its Applications: Essays in Honor of Larry Wos

Item Specifics

Return shipping will be paid by: Seller

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money back or replacement (buyer's choice)

Return policy details:

Artist: Veroff, Robert [Editor]

Number of Pages: 254 Pages

Publication Name: Automated Reasoning and Its Applications : Essays in Honor of Larry Wos

Language: English

Publisher: MIT Press

Subject: Intelligence (Ai) & Semantics

Publication Year: 1997

Item Height: 0.9 in

Type: Textbook

Item Weight: 24.2 Oz

Subject Area: Computers

Item Length: 9.1 in

Author: Robert Veroff

Item Width: 7.3 in

Format: Hardcover

Recommended

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

$95.23

View Details
Peltier - Automated Reasoning   10th International Joint Conference  - S9000z
Peltier - Automated Reasoning 10th International Joint Conference - S9000z

$123.63

View Details
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ir
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ir

$23.85

View Details
Olivetti - Automated Reasoning   8th International Joint Conference  - S9000z
Olivetti - Automated Reasoning 8th International Joint Conference - S9000z

$109.80

View Details
Automated Reasoning - 9789401055420
Automated Reasoning - 9789401055420

$94.76

View Details
Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966, S
Automation of Reasoning 1: Classical Papers on Computational Logic, 1957-1966, S

$39.51

View Details
Automated Reasoning with Analytic Tableaux and Related Methods: International Co
Automated Reasoning with Analytic Tableaux and Related Methods: International Co

$67.60

View Details
Automated Reasoning With Analytic Tableaux And Related Methods: 30Th Intern...
Automated Reasoning With Analytic Tableaux And Related Methods: 30Th Intern...

$59.58

View Details
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Ita
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Ita

$128.30

View Details
Handbook of Practical Logic and Automated Reasoning [Hardcover] Harrison, John
Handbook of Practical Logic and Automated Reasoning [Hardcover] Harrison, John

$140.00

View Details