Mohlo by se vám také líbit

Více informací o knize Automated Deduction - CADE 28

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 95 bodů

Anotace knihy

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Automated Deduction - CADE 28
• Podnázev: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
• Autor: André Platzer
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 650
• EAN: 9783030798758
• ISBN: 3030798755
• ID: 36635019
• Nakladatelství: Springer Nature Switzerland AG
• Hmotnost: 1003 g
• Rozměry: 235 × 155 × 36 mm
• Datum vydání: 08. July 2021

---

---

---