ARCHÍV OLDAL Az adatok hitelességéről nyilatkozott: 2014. VI. 26. Közlemények |
2013
adattárból, 2014. VI. 26. |
Pásztor Varga K, Alagi G, Várterész M: Many-valued logics − implications and semantic consequences, ACTA UNIVERSITATIS SAPIENTIAE INFORMATICA 5: (2) pp. 145-166. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol
|
2012
adattárból, 2014. VI. 26. |
Kézdi Norbert, Pásztor Varga Katalin, Jakó Éena: Neighborhood principle driven ICF algorithm and graph distance calculations, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 159-177. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol Teljes szöveg |
2011
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Many-valued logics -- theorem proving problems, In: Pop Horia F et al. (szerk.) Proceedings of the 8th joint conference on mathematics and computer science. Győr: Novadat Kiadó, 2011. pp. 91-98. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: angol
|
2009
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Many-valued logic, mappings, ICF graphs, normal forms, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 31: pp. 185-202. dokumentum típusa: Folyóiratcikk/Szakcikk nyelv: angol
|
2008
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: A logika helye az informatikusok alap- és mesterképzésében, In: Pethő Attila, Herdon Miklós (szerk.) Informatika a felsőoktatásban 2008: konferencia kiadvány : Debrecen, 2008 augusztus 27-29. : Előadás-összefoglalók és teljes előadást tartalmazó CD-melléklet. Debrecen: Debreceni Egyetem Informatikai Kar, 2008. pp. &. dokumentum típusa: Könyvrészlet/Konferenciaközlemény nyelv: magyar
|
2008
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Languages of logic and their applications, COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55: (8) pp. 1660-1669. dokumentum típusa: Folyóiratcikk/Szakcikk impakt faktor: 0.997 nyelv: angol DOI |
2006
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Computer science, logic, informatics education, JOURNAL OF UNIVERSAL COMPUTER SCIENCE 12: (9) pp. 1405-1410. Paper 10.3217/jucs-012-09-1405. dokumentum típusa: Folyóiratcikk/Szakcikk impakt faktor: 0.338 nyelv: angol DOI |
2004
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Usablity of some theorem proving systems, PURE MATHEMATICS AND APPLICATIONS 15: (2-3) pp. 273-284. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 4 nyelv: angol
|
2003
adattárból, 2014. VI. 26. |
Pásztorné Varga K, Várterész M : A matematikai logika alkalmazásszemléletű tárgyalása, Budapest: Panem Könyvkiadó, 394 p. dokumentum típusa: Könyv/Szakkönyv független idéző közlemények száma: 8 nyelv: magyar
|
2002
adattárból, 2014. VI. 26. |
Pásztor Varga K, Várterész M: Comparison and usability of two rewriting systems for theorem proving, PURE MATHEMATICS AND APPLICATIONS 13: (1-2) pp. 293-302. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 2 nyelv: angol
|
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 14 |
|
|