Code: 36635019
Automated Deduction - CADE 28
by André Platzer
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
- Language:
English - Binding: Paperback
- Number of pages: 650
Publisher: Springer Nature Switzerland AG, 2021
- More about this
50.52 €
RRP: 50.56 €
You save 0.04 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
Moonwalk
14.07 € -
The Score
13.76 € -12 % -
The Deal
12.34 € -21 % -
The Mistake
14.47 € -8 % -
Jujutsu Kaisen, Vol. 30
9.61 € -22 % -
Berserk Deluxe Volume 1
35.63 € -25 % -
Invincible Compendium Volume 2
42.32 € -30 % -
The Goal
14.57 € -7 % -
Witch Hat Atelier: Grimoire Edition 1
34.62 € -29 % -
Berserk Deluxe Volume 2
33.10 € -31 % -
Murdoku
18.12 € -25 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
14.98 € -24 % -
Witch Hat Atelier Manga Box Set 1
51.33 € -31 % -
Jujutsu Kaisen, Vol. 25
9.71 € -25 % -
Moonwalk: A Memoir
19.94 € -31 % -
Legacy
11.94 € -24 % -
Heated Rivalry
12.55 € -7 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.22 € -25 % -
Berserk Deluxe Volume 3
55.08 € -
Jujutsu Kaisen, Vol. 26
9.31 € -25 % -
White Nights
4.75 € -11 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Automated Deduction - CADE 28
You get 122 loyalty points
Book synopsis
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
Book details
Book category Knihy po nemecky Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik
50.52 €
- Full title: Automated Deduction - CADE 28
- Subtitle: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
- Author: André Platzer
- Language: English
- Binding: Paperback
- Number of pages: 650
- EAN: 9783030798758
- ISBN: 3030798755
- ID: 36635019
- Publisher: Springer Nature Switzerland AG
- Weight: 1003 g
- Dimensions: 235 × 155 × 36 mm
- Date of publishing: 08. July 2021
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 12742 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)