DaftarIsitemplate

Call Number

006.3 Wos a

Title

Automated reasoning: 33 basic research problems/Larry Wos

Author

Wos, Larry;

Publisher

London Prentice-Hall 1988

Subject

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

Location