TY  - BOOK
ED  - Universitatea  A. I. Cuza Iasi
TI  - Info-Iasi 8: Lucrarile celui de-al patrulea colocviu de informatica. 27-29 octombrie 1983
U1  - 511.3 
PY  - 1983///
CY  - Iasi
PB  - Universitatea  A. I. Cuza Iasi
KW  - Mathematical logic (Symbolic logic)
KW  - Artificial Intelligence
KW  - Programming
ER  -