Title: Computer science logic
First published: 2007
Subjects: Computer logic, Congresses
LC classification: QA76.9.L63 C78 2007