Wolfgang Bibel - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 8, Band 8)

Brand : Springer, Binding : Gebundene Ausgabe, Edition : 1998, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Gebundene Ausgabe, numberOfPages : 501, publicationDate : 1998-06-30, publishers : Wolfgang Bibel, P.H. Schmitt, ISBN : 0792351290 ...