DaftarIsitemplate

Call Number

006.3 Aut

Title

Automated reasoning: introduction and applications/ Larry Wos

Author

Woss, Larry;

Publisher

Englewood Cliffs,NJ : Prentice Hall, 1984

Subject

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

Location

FASILKOM-UI;