TY  - BOOK
AU  - Wos,Larry
AU  - Pieper,Gail W.
ED  - World Scientific Publishing.
TI  - A fascinating country in the world of computing: your guide to automated reasoning 
SN  - 9810239106
PY  - 1999///
CY  - Singapore, New Jersey, London, Hong Kong
PB  - World Scientific
KW  - Automatyczne dowodzenie twierdzeń
KW  - kaba
KW  - Systemy ekspertowe (informatyka)
N1  - Bibliografia na stronach 561-569. Indeks
ER  -