Leviton

Automated Deduction - CADE 28: 28th International Conference on Automated

Description: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Price: 95.7 AUD

Location: Hillsdale, NSW

End Time: 2024-11-18T13:33:17.000Z

Shipping Cost: 32.17 AUD

Product Images

Automated Deduction - CADE 28: 28th International Conference on AutomatedAutomated Deduction - CADE 28: 28th International Conference on Automated

Item Specifics

Return shipping will be paid by: Buyer

Returns Accepted: Returns Accepted

Item must be returned within: 60 Days

Return policy details:

EAN: 9783030798758

UPC: 9783030798758

ISBN: 9783030798758

MPN: N/A

Book Title: Automated Deduction - CADE 28: 28th International

Item Length: 23.4 cm

Item Height: 235 mm

Item Width: 155 mm

Author: Geoff Sutcliffe, Andre Platzer

Publication Name: Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Format: Paperback

Language: English

Publisher: Springer Nature Switzerland Ag

Subject: Computer Science

Publication Year: 2021

Type: Textbook

Item Weight: 1003 g

Number of Pages: 650 Pages

Recommended

Fontaine - Automated Deduction - CADE 27   27th International Confere - S9000z
Fontaine - Automated Deduction - CADE 27 27th International Confere - S9000z

$109.80

View Details
Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...
Automated Deduction-Cade-18 : 18th International Conference on Automated Dedu...

$68.29

View Details
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduc
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduc

$93.21

View Details
Nieuwenhuis - Automated Deduction - CADE-20   20th International Conf - S9000z
Nieuwenhuis - Automated Deduction - CADE-20 20th International Conf - S9000z

$69.20

View Details
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh

$61.48

View Details
Platzer - Automated Deduction - CADE 28   28th International Conferen - S9000z
Platzer - Automated Deduction - CADE 28 28th International Conferen - S9000z

$70.81

View Details
Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu...
Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu...

$64.52

View Details
Ida - Automated Deduction in Geometry   9th International Workshop A - S9000z
Ida - Automated Deduction in Geometry 9th International Workshop A - S9000z

$63.00

View Details
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing,
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing,

$95.26

View Details
Automated Deduction - CADE-15: 15th International Conference on Automated Deduct
Automated Deduction - CADE-15: 15th International Conference on Automated Deduct

$68.46

View Details