TY - GEN
AU - Bibel, Wolfgang
AU - Schmitt, Peter H.
TI - Automated deduction - a basis for applications. Vol. 1: Foundations - calculi and methods. Vol. 2: Systems and implementation techniques. Vol. 3: Applications
KW - DATA processing & computer science
PY - 2008-01-16
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation