Zobacz książki o podobnej tematyce

Więcej informacji o Handbook of Automated Reasoning

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

Za ten zakup dostaniesz 788 punkty

Opis

This first volume of the Handbook of Automated Reasoning includes topics such as: the early history of automated deduction, classical logic - resolution theorem proving, and tableaux and related methods.

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Mathematical theory of computation

• Pełny tytuł: Handbook of Automated Reasoning
• Autor: ROBINSON
• Język: Angielski
• Oprawa: Twarda
• Liczba stron: 996
• EAN: 9780444829498
• ISBN: 0444829490
• ID: 04079751
• Wydawca: North-Holland
• Waga: 2060 g
• Wymiary: 240 × 165 × 52 mm
• Data wydania: 21. June 2001

Ulubione w innej kategorii

---

---

---