DaftarIsitemplate

Call Number

006.3 Wos a

Title

Automated reasoing: 33 basic research problems

Author

Wos, Larry;

Publisher

London: Prentice Hall, 1988

Subject

Automatic theorem proving; Artificial intelligence; Electronic digital computers--programming; Automated reasoning

Location