Print preview VALIDITY EXPIRED personal data approved: 2014. IX. 03. Publications |
2014
from data base, 2014. IX. 03. |
Fazekas K Anna, Fazekas Gábor, Várterész Magda: A számítógéppel támogatott oktatás egy SQC alapú minőségbiztosítási modelljéről, In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban 2014 konferencia: Konferencia kiadvány. Debrecen: Debreceni Egyetem, 2014. pp. 689-693. type of document: Part of book/Proceedings Paper language: Hungarian
|
2014
from data base, 2014. IX. 03. |
Koós Dániel, Várterész Magda: E-learning a számítástudomány oktatásában, In: Kunkli Roland, Papp Ildikó, Rutkovszky Edéné (szerk.) Informatika a felsőoktatásban 2014 konferencia: Konferencia kiadvány. Debrecen: Debreceni Egyetem, 2014. pp. 88-95. type of document: Part of book/Proceedings Paper language: Hungarian
|
2013
from data base, 2014. IX. 03. |
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. type of document: Journal paper/Article language: English
|
2011
from data base, 2014. IX. 03. |
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. type of document: Part of book/Proceedings Paper language: English
|
2009
from data base, 2014. IX. 03. |
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. type of document: Journal paper/Article language: English
|
2008
from data base, 2014. IX. 03. |
Pásztor Varga K, Várterész M: Languages of logic and their applications, COMPUTERS AND MATHEMATICS WITH APPLICATIONS 55: (8) pp. 1660-1669. type of document: Journal paper/Article impact factor: 0.997 language: English DOI |
2006
from data base, 2014. IX. 03. |
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. type of document: Journal paper/Article impact factor: 0.338 language: English DOI |
2004
from data base, 2014. IX. 03. |
Pásztor Varga K, Várterész M: Usablity of some theorem proving systems, PURE MATHEMATICS AND APPLICATIONS 15: (2-3) pp. 273-284. type of document: Journal paper/Article number of independent citations: 4 language: English
|
2003
from data base, 2014. IX. 03. |
Pásztorné Varga K, Várterész M : A matematikai logika alkalmazásszemléletű tárgyalása, Budapest: Panem Könyvkiadó, 394 p. type of document: Book/Monography number of independent citations: 8 language: Hungarian
|
1985
from data base, 2014. IX. 03. |
Várterész M: On always convergent iteration methods of tangential convex functions for solving nonlinear equations, PUBLICATIONES MATHEMATICAE-DEBRECEN 32: pp. 255-265. type of document: Journal paper/Article impact factor: 0.056 language: Russian
|
| Number of independent citations to these publications: | 12 |
|
|