DaftarIsitemplate

Call Number

006.3 Ric c

Title

Clausal form logic

Author

Richards, Tom;

Publisher

Sidney Addison-Wesley 1989

Subject

Programming applications of mathematical logic; Expert systems(Computer science); Artificial intelligence; Logic symbolic and mathematical

Location