A fascinating country in the world of computing : your guide to automated reasoning /

Wos, Larry.

A fascinating country in the world of computing : your guide to automated reasoning / Larry Wos, Gail W. Pieper. - Singapore ; New Jersey ; London ; Hong Kong : World Scientific, copyright © 1999. - XX, 587 stron ; 22 cm + dysk optyczny (CD-ROM).

Bibliografia na stronach 561-569. Indeks.

9810239106


Automatyczne dowodzenie twierdzeń.
Systemy ekspertowe (informatyka).