Richards Dana

Logic and Language Models for Computer Science - - Singapore 2020 - 450

978-0-00-098885-0

005.131 R20 RIC