Hilbert-típusú kalkulusok implementációja

Harcsás, Anita (2012) Hilbert-típusú kalkulusok implementációja. BA/Bsc thesis, Szegedi Tudományegyetem.

[thumbnail of 2012_harcsas_anita.pdf]Text
2012_harcsas_anita.pdf - Thesis
Restricted to SZTE designated computers only

Download (5MB)
    [thumbnail of 2012_harcsas_anita_biralati.pdf]Text
    2012_harcsas_anita_biralati.pdf - Review
    Restricted to Repository staff only

    Download (101kB)
      [thumbnail of 2012_harcsas_anita.tgz]Archive
      2012_harcsas_anita.tgz - Supplement
      Restricted to SZTE designated computers only

      Download (419kB)
        Item Type: Thesis (BA/Bsc)
        Institution:Szegedi Tudományegyetem
        ['eprint_fieldname_faculty' not defined]:Faculty of Science and Informatics
        Department:Számítástudomány Alapjai Tanszék
        ['eprint_fieldname_specialization' not defined]:programtervező informatikus
        Discipline:Informatics
        Supervisor(s):
        Supervisor
        Supervisor scientific name label
        Email
        EHA
        Iván, dr. Szabolcs
        egyetemi adjunktus
        UNSPECIFIED
        UNSPECIFIED
        Subjects:01. Natural sciences > 01.02. Computer and information sciences
        Depositing User:TTK szerkesztő
        Date Deposited:2012. Jul. 11. 09:47
        Last Modified:2013. Mar. 14. 10:09
        URI:https://diploma.bibl.u-szeged.hu/id/eprint/37424

        Actions (login required)

        View Item
        View Item