Automated deduction

Ediciones (5)

• Automated deduction (1998)

  Kluwer Academic Publishers · inglés

• Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) (1998)

  Springer · inglés · ISBN 9780792351306

• Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) (1998)

  Springer · inglés · ISBN 9780792351313

• Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series) (1998)

  Springer · inglés · ISBN 9780792351290

• Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods (1899)

  Springer · inglés · ISBN 9780792351320

Más obras de W. Bibel

Künstliche Intelligenz

Mathematical methods of specification and synthesis of software systems '85

Ausgezeichnete Informatikdissertationen 1996

Automated Deduction - A Basis for Applications

Automated Deduction - A Basis for Applications

Automated Theorem Proving

Ver todas las obras de W. Bibel →