Logic and language models for computer science/
Richards, Dana
Logic and language models for computer science/ Dana Richards and Henry Hamburger - Singapore: World Scientific Publishing, 2023. - xix, 476 p.; 23 cm. PB.
9781944660833
Mathematical preliminaries
Predicate logic
Finite automata
Turing Machines
005.133 / RIC
Logic and language models for computer science/ Dana Richards and Henry Hamburger - Singapore: World Scientific Publishing, 2023. - xix, 476 p.; 23 cm. PB.
9781944660833
Mathematical preliminaries
Predicate logic
Finite automata
Turing Machines
005.133 / RIC