Description: This lecture notes textbook is an excellent resource for students and professionals interested in the subject areas of computers and mathematics. The publication name is "Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I" and it is published by Springer International Publishing A&G. The textbook is authored by Viorica Sofronie-Stokkermans and is available in trade paperback format with a length of 9.3 inches and a width of 6.1 inches. The book has a total of 537 pages, including xxvii pages of proceedings. The textbook is written in English and covers a range of topics in programming, software development and engineering, computer science, intelligence and semantics, and logic. It is a valuable addition to any collection of textbooks, education and reference materials.
Price: 11.25 USD
Location: Kansas City, Missouri
End Time: 2024-12-01T00:08:38.000Z
Shipping Cost: 5.38 USD
Product Images
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
Number of Pages: Xxvii, 537 Pages
Publication Name: Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2020
Subject: Programming / General, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science, Logic
Item Weight: 30.3 Oz
Type: Textbook
Subject Area: Mathematics, Computers
Author: Viorica Sofronie-Stokkermans
Item Length: 9.3 in
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
