Larry Wos
Automated reasonning: basic research problems/ by Larry Wos. - New Jersey: Prentice-Hall, 1988. - 319p.
006.3 / LAR/
Automated reasonning: basic research problems/ by Larry Wos. - New Jersey: Prentice-Hall, 1988. - 319p.
006.3 / LAR/