Search Results - Rudnicki, Piotr

  • Showing 1 – 5 results of 5
Filter by
  1. 1
    Cover Image

    Computer assisted reasoning: an illustrated comparison
    by Leszczylowski, Jacek, Rudnicki, Piotr

    Published 1983
    Book


    Saved in:
  2. 2
    Cover Image

    MIZAR MSE primer: a draft
    by Prażmowski, Krzysztof, Rudnicki, Piotr

    Published 1983
    Book


    Saved in:
  3. 3
    Cover Image

    Proving properties of Pascal programs in MIZAR 2
    by Rudnicki, Piotr, Drabent, Włodzimierz

    Published 1983
    Book


    Saved in:
  4. 4
    Cover Image

    Czas na zmiany
    by Kaczyński, Jarosław 1949-, Bichniewicz, Michał, Rudnicki, Piotr M.

    Published 1993
    Book


    Saved in:
  5. 5
    Cover Image

    Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
    by Rudnicki, Piotr

    Published 1989
    Electronic eBook


    Saved in:

Search Tools: