Suchergebnisse - Rudnicki, Piotr

  • Treffer 1 – 5 von 5
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1989
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: