?
3
Automated theorem proving
a logical basis
Fundamental studies in computer science ; 6
Copies:
Zentrale:Magazin 01.T.3022
?
4
Symbolic logic and mechanical theorem proving
Computer science classics
Copies:
Zentrale:Magazin 01.T.3023