Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Książki - Kluwer Academic Publishers - 9780792340171 - 30 kwietnia 1996
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Cena
zł 516,90

Zamówione z odległego magazynu

Przewidywana dostawa 24 lip - 5 sie

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 kwietnia 1996
ISBN13 9780792340171
Wydawcy Kluwer Academic Publishers
Strony 208
Wymiary 156 × 234 × 14 mm   ·   498 g
Język English  
Pokaż wszystko

Więcej od Zbigniew Stachniak

Zobacz wszystko od Zbigniew Stachniak ( np. Hardcover Book i Paperback Book )