Advertisement

Perspectives on automated deduction

  • W. Bibel
Session 10: Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • W. Bibel
    • 1
  1. 1.Technische Hochschule DarmstadtGermany

Personalised recommendations