Knihu momentálně nemáme skladem

Handbook of Practical Logic and Automated Reasoning

Autoři

John Harrison

Hodnocení knihy

3,9(13)Ohodnotit

Parametry

Počet stran: 702 stránek
Čas čtení: 25 hodin

Více o knize

This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.

Nákup knihy

Handbook of Practical Logic and Automated Reasoning, John Harrison

Jazyk
Rok vydání: 2015
product-detail.submit-box.info.binding: (pevná)

Jakmile ji vyčmucháme, pošleme e-mail.

Doručení

Platební metody

3,9

Velmi dobrá

13 Hodnocení

Ohodnotit

Tady nám chybí tvá recenze.

Titul: Handbook of Practical Logic and Automated Reasoning
Jazyk: anglicky
Autoři: John Harrison
Vydavatel: Cambridge University Press
Rok vydání: 2015
Vazba: pevná
Počet stran: 702
ISBN13: 9780521899574
Štítky: Počítače, IT, programování, Příručky a návody, Matematika, Umělá inteligence, Logika
Hodnocení: 3,85 z 5
Anotace: This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.