Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására

Legal Note: A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető.

Saved in:

Bibliographic Details
Main Author:	Balogh Kálmán
Format:	dissertation
Language:	Hungarian
Published:	1979
Subjects:	számítógépes program > szemantikus tulajdonság bizonyítása > logikai módszer > doktori disszertáció doktori disszertáció
Tags:	Add Tag Be the first to tag this record!

id	opac-EUL01-000372626
institution	L_200 EUL01
spelling	Balogh Kálmán EUL10000257271 Y Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására [készítette:] Balogh Kálmán 1979 71, [5] fol. 30 cm Bölcsészdoktori értekezés ; Eötvös Loránd Tudományegyetem (Budapest), 1979 A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető. doktori disszertáció számítógépes program szemantikus tulajdonság bizonyítása logikai módszer doktori disszertáció EUL10000484843 Y EUL01
language	Hungarian
format	Dissertation
author	Balogh Kálmán
spellingShingle	Balogh Kálmán Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására számítógépes program -- szemantikus tulajdonság bizonyítása -- logikai módszer -- doktori disszertáció doktori disszertáció
author_facet	Balogh Kálmán
author_sort	Balogh Kálmán
title	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására
title_short	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására
title_full	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására [készítette:] Balogh Kálmán
title_fullStr	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására [készítette:] Balogh Kálmán
title_full_unstemmed	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására [készítette:] Balogh Kálmán
title_auth	Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására
title_sort	egy logikai modszer programok szemantikus tulajdonsagainak bizonyitasara
publishDate	1979
publishDateSort	1979
physical	71, [5] fol. ; 30 cm
callnumber-raw	D 289
callnumber-search	D 289
topic	számítógépes program -- szemantikus tulajdonság bizonyítása -- logikai módszer -- doktori disszertáció doktori disszertáció
topic_facet	számítógépes program -- szemantikus tulajdonság bizonyítása -- logikai módszer -- doktori disszertáció doktori disszertáció számítógépes program szemantikus tulajdonság bizonyítása logikai módszer doktori disszertáció
illustrated	Not Illustrated
first_indexed	2024-01-15T08:38:26Z
last_indexed	2024-01-15T14:58:37Z
recordtype	opac
description	Legal_Note:A kéziratos disszertációk csak a szerzői jogok maradéktalan tiszteletben tartásával használhatók, másolat kizárólag a szerző vagy jogutódja írásos engedélyével készíttethető.
_version_	1788165088208748548
score	13,384603
generalnotes	Bölcsészdoktori értekezés ; Eötvös Loránd Tudományegyetem (Budapest), 1979

Egy logikai módszer programok szemantikus tulajdonságainak bizonyítására

Similar Items