Handbook of Practical Logic and Automated Reasoning

Handbook of Practical Logic and Automated Reasoning

Bokus

The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the d...

1 873.00 kr

Liknande produkter