English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Kategóriák és gyűjtemények
Böngészés
Statisztika
English
Magyar
Bejelentkezés
Központi bejelentkeztetés
Kérjük bejelentkezéshez használja az egyetemi hálózati azonosítóját és jelszavát (eduID)!
Digitális könyvtár
Hallgatói dolgozatok
PhD dolgozatok
Publikációk
Főoldal
További gyűjtemények
Tehetséggondozó Program (DETEP)
DETEP IK
Logikai eszközök a formális nyelvekben
Logikai eszközök a formális nyelvekben
Fájlok
(25.56 KB)
(2.04 MB)
Dátum
2024-06
Szerzők
Adrián Patrik
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Leírás
Kulcsszavak
Forrás
Hivatkozás
https://hdl.handle.net/2437/372020
Gyűjtemények
DETEP IK
A tétel részletes nézete