TY  - BOOK
AU  - DOUGHERTY, Edward R
AU  - GIARDINA, Charles R
TI  - Mathematical methods for artificial intelligence and aoutonomous systems
SN  - 0135609216
U1  - 511.3 
PY  - 1988///
CY  - NEW YORK
PB  - PRENTICE-HALL
KW  - MATHEMATICAL LOGIC
ER  -