mgr Karol Pąk

Algorytmy poprawy czytelności formalnych rozumowań zapisanych w systemie naturalnej dedukcji
dr hab. Aleksy Schubert
Obrona doktorska
28.11.2013 10:15
Uniwersytet Warszawski
Pobierz plik (msword, 45,50 kB)
Powered by eZ Publish™ CMS Open Source Web Content Management. Copyright © 1999-2012 eZ Systems AS (except where otherwise noted). All rights reserved.