Zobacz książki o podobnej tematyce

Więcej informacji o Automated Deduction -- CADE-23

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 154 punkty

Opis

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc aw, Poland, in July/August 2011. §The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer programming / software development Software Engineering

• Pełny tytuł: Automated Deduction -- CADE-23
• Podtytuł: 23rd International Conference on Automated Deduction, Wroc aw, Poland, July 31 -- August 5, 2011, Proceedings
• Autor: Nikolaj Bj, Viorica Sofronie-Stokkermans
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 508
• EAN: 9783642224379
• ISBN: 3642224377
• ID: 01658401
• Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Waga: 732 g
• Wymiary: 235 × 155 × 28 mm
• Data wydania: 12. July 2011

Ulubione w innej kategorii

---

---

---