Wos, Larry. <br/><br/>
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). 
<br/><br/>Bibliografia na stronach 561-569. Indeks. 
<br/><br/><label>ISBN: </label>9810239106 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatyczne dowodzenie twierdzeń.<br/>Systemy ekspertowe (informatyka).