Showing 1 - 5 results of 5 for search 'Adam Grabowski', query time: 0.03s Refine Results
  1. 1
    Tarski's geometry modelled in Mizar computerized proof assistant

    Tarski's geometry modelled in Mizar computerized proof assistant by Adam Grabowski

    Published 2016-10-01
    Get full text
    Article
  2. 2
    Badanie umiejętności logicznego i krytycznego myślenia studentów wczesnej edukacji

    Badanie umiejętności logicznego i krytycznego myślenia studentów wczesnej edukacji by Adam Grabowski

    Published 2021-06-01
    Get full text
    Article
  3. 3
    Influence of lead on N03 uptake and reduction in cucumber seedlings

    Influence of lead on N03 uptake and reduction in cucumber seedlings by Marek Burzyński, Adam Grabowski

    Published 2014-01-01
    Get full text
    Article
  4. 4
    On algebraic hierarchies in mathematical repository of Mizar

    On algebraic hierarchies in mathematical repository of Mizar by Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller

    Published 2016-10-01
    Get full text
    Article
  5. 5
    Mizar in a Nutshell

    Mizar in a Nutshell by Adam Grabowski, Artur Kornilowicz, Adam Naumowicz

    Published 2010-01-01
    Get full text
    Article

Search Tools: