Որոնման արդյունքները

Artificial intelligence and the design of expert systems / ‌ Luger, George F.

The little prover / ‌ Friedman, Daniel P., Eastlund, Carl

An electronic book accessible through the World Wide Web; click to view