A Practical Way of Teaching Logic to Computer Science BSc Students by Using State-of-the-Art Tools Including SMT Solvers

Kovásznai, Gergely [Kovásznai, Gergely (informatika), szerző] Információtechnológia Tanszék (EKE / IK / MII); Kusper, Gábor [Kusper, Gábor (Számítástudomány), szerző] Számítástudományi Tanszék (EKE / IK / MII); Biró, Csaba [Biró, Csaba (Formális módszerek), szerző] Információtechnológia Tanszék (EKE / IK / MII)

Angol nyelvű Tudományos Absztrakt / Kivonat (Egyéb konferenciaközlemény)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2022-01-16 22:39