This text and software package introduces the reader to automated theorem proving and provides two approaches implemented as easy-to-use programs.
Mathematical struc ...
Discrete mathemati ...
Formal approaches ...
Formal methods in ...
Fluency with infor ...
Critical socio-tec ...
Foundations of com ...
Locative media
Models of computat ...
Cognitive systems ...
Affective computin ...
Advanced computer ...
Computer arithmeti ...
The semiotic engin ...
Career ideas for t ...
Humanistic HCI
Emotion recognitio ...
UX for XR : user e ...