NATO Advanced Study Institute on Proof and Computation

ID:DA09169496

Alias Name

Advanced Study Institute on Proof and Computation, NATO

Search authors sharing the same name

Search Results1-1 of 1

  • Proof and computation

    edited by Helmut Schwichtenberg

    Springer-Verlag 1995 NATO ASI series Ser. F . Computer and systems sciences ; v. 139

    Available at 28 libraries

Search this author

Page Top