TY  - BOOK
AU  - Baader, F.
TI  - Automated Deduction - CADE-19
SN  - 3540405593
PY  - 2003///
CY  - Berlin
PB  - Springer-Verlag
KW  - Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÐºÐ°
KW  - Ð¼Ð°ÑÐµÐ¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ðµ Ð¿ÑÐ¾Ð³ÑÐ°Ð¼Ð¼Ð¸ÑÐ¾Ð²Ð°Ð½Ð¸Ðµ
KW  - ÑÐµÐ¾ÑÐ¸Ñ
KW  - ÐºÐ¾Ð½ÑÐµÑÐµÐ½ÑÐ¸Ð¸
KW  - Ð°Ð½Ð³Ð»Ð¸Ð¹ÑÐºÐ¸Ð¹ ÑÐ·ÑÐº
KW  - 519.85(063)
KW  - 3
N2  - References at the end of chapters; Index: p. 503
ER  -