Canyon

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

Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation
Automated Reasoning with Analytic Tableaux and Related Methods: 16th Internation

$66.79

View Details
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fra
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, Fra

$56.61

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

$95.23

View Details
Benzmller - Automated Reasoning  12th International Joint Conference - S9000z
Benzmller - Automated Reasoning 12th International Joint Conference - S9000z

$58.81

View Details
Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...
Automated Reasoning With Analytic Tableaux and Related Methods : Internationa...

$66.77

View Details
Many-Valued Logics 2: Automated Reasoning And Practical Applications
Many-Valued Logics 2: Automated Reasoning And Practical Applications

$54.27

View Details
Automated Reasoning with Analytic Tableaux and Related Methods: 24th Internation
Automated Reasoning with Analytic Tableaux and Related Methods: 24th Internation

$52.52

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

$120.01

View Details
Iec 61131-3: Programming Industrial Automation Systems: Concepts and...
Iec 61131-3: Programming Industrial Automation Systems: Concepts and...

$90.28

View Details
Automated Reasoning with Analytic Tableaux and Related Methods: 18th Internation
Automated Reasoning with Analytic Tableaux and Related Methods: 18th Internation

$66.79

View Details