Cover of Automated Reasoning

Automated Reasoning

by Bernhard Gramlich

2012 eng

Logics and Meanings of Programs Mathematical Logic and Formal Languages Logic design Artificial Intelligence (incl. Robotics) Software engineering Electronic data processing Artificial intelligence Computer science
Read on Archive.org Open Library Toronto Public Library Libby Amazon

Read online

Reader not loading? Open it on Archive.org instead.

More like this

Process Mining

Wil M. P. van der Aalst

2011

Fundamentals of Software Engineering

Farhad Arbab

2012

The correctness-by-construction approach to programming

Derrick Kourie

2012

Introduction To The Theory Of Programming Languages

Jean-Jacques Levy

2010

Integrated Formal Methods

John Derrick

2012

Concurrency theory

Howard Bowman

2006