Przeskocz do treści
Szymon Chlebowski

Szymon Chlebowski

  • About
  • Papers
  • Conferences
  • Teaching
    • Logika I
    • Logika II
    • Logiki nieklasyczne
    • Logika w zastosowaniach kognitywistycznych
    • Logics of Identity: Frege, Wittgenstein, Suszko
    • Metody dowodzenia twierdzeń i automatyzacja rozumowań
    • Reasoning
    • Podstawy programowania funkcyjnego
    • Podstawy algorytmiki
  • Research projects
  • Dissertations
  • Contact

Reasoning

Paper for class on Friday 10.05.2024

AQAS_CPLPobierz
ExercisesPobierz

Paper on abductive reasoning in paraconsistent logics (Friday 17.05.2024)

AQAS_mbCPobierz
ExercisesPobierz

Dumnie wspierane przez WordPressa