Automated reasoning : introduction and applications - Wos, Larry (Englewood Cliffs : Prentice-Hall, 1984)
Bibliografia
Register