TY -
BOOK
AU - Bibel, Wolfgang
TI -
Deduktion
Automatisierung der Logik
PB - Oldenbourg
SN - 3486207857
KW - Logic, symbolic and mathematical Data processing
KW - Deduktionssystem
PY - 1992
BT - Handbuch der Informatik / hrsg. von Albert Endres . ; 6. Künstliche Intelligenz ; 2
CY - München [u.a.]
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -