PakCat catalogue record

Logic for computer science

foundations of automatic theorem proving

By NULL

Bibliographic details

Subjects

NULL