"Logic and Language Models for Computer Science" von Dana Richards ist ein umfassendes Lehrbuch, das sich auf die Anwendung von Logik und Sprachmodellen in der Informatik konzentriert. Es behandelt Themen wie formale Sprachen, Automaten,...