Johann, Patricia

Search Results1-1 of 1

  • Deduction systems

    Rolf Socher-Ambrosius, Patricia Johann

    Springer c1997 Graduate texts in computer science

    Available at 20 libraries

Search this author

Page Top