TY  - BOOK
AU  - Berkeley,  Edmund Callis
TI  - Symbolic logic and intelligent machines
PY  - 1959///]
CY  - New York : 
PB  - Reinhold, 
KW  - ლოგიკა
KW  - კომპიუტერული ტექნოლოგიები
KW  - ხელოვნური ინტელექტი
ER  -