Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM010605
Első szerző:Aszalós László (matematikus)
Cím:Proving the decidability of the PDLtimesPDL product logic / László Aszalós, Philippe Balbiani
Dátum:2009
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Studia Universitatis Babes-Bolyai. Series Informatica. - 54 : 1 (2009), p. 3-16. -
További szerzők:Balbiani, Philippe
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1