Tisztelt Kutatók!

Megjelentek a SCImago Journal & Country Rank 2024-re vonatkozó folyóirat értékelései.

https://www.scimagojr.com/

Várterész Magdolna

DE IK

Számítógéptudományi Tanszék

egyetemi docens

Teljes publikációs lista

Tudóstér társszerzők statisztika szűrhető publikációs lista

RIS export (EndNote, Mendeley, RefWorks, Zotero stb.)

Hiányzó közlemények feltöltése

Hitelesített Publikációs Lista igénylése

Feltöltött közlemény:

DEA-ban:

OA:

Publikációs időszak:

1985-2013

2013

Pásztor Varga, K., Alagi, G., Várterész, M.: Many-valued logics - implications and semantic consequences.
Acta Univ. Sap., Inf. 5 (2), 145-166, 2013.

DEA

2011

Pásztor Varga, K., Várterész, M.: Many-valued logics - theorem proving problems.
In: Joint Conference on Mathematics and Computer Science (8.) (2010.07.14-07-17) (Komárno, Slovakia), Novadat, Győr, 91-98, 2011. ISBN: 9789639056381

DEA

2010

Kádek, T., Robu, J., Várterész, M.: Matematikai logika példatár.
Presa Universitara Clujeana, Cluj-Napoca, 174 p., 2010. ISBN: 9789735951221

DEA

2009

Pásztor Varga, K., Várterész, M.: Many-valued Logic, Mappings, ICF Graphs, Normal Forms.
Annales Univ. Sci. Budapest., Sect. Comp. 31, 185-202, 2009.

DEA

2008

Pásztor Varga, K., Várterész, M.: Languages of logic and their applications.
Comput. Math. Appl. 55 (8), 1660-1669, 2008.

DEA

Folyóirat-mutatók:

Q2 Computational Mathematics

Q3 Computational Theory and Mathematics

Q2 Modeling and Simulation

2006

Várterész, M., Pásztor Varga, K.: Computer Science, Logic, Informatics Education.
J. Univers. Comput. Sci. 12 (9), 1405-1410, 2006.

doi DEA

Folyóirat-mutatók:

Q2 Computer Science (miscellaneous)

Q3 Theoretical Computer Science

2004

Pásztor-Varga, K., Várterész, M.: Usability of some theorem proving systems.
Pure math. appl. 15 (2-3), 273-284, 2004.

DEA

2003

Pásztor Varga, K., Várterész, M.: A matematikai logika alkalmazásszemléletű tárgyalása.
Panem Könyvkiadó, Budapest, 394 p., 2003. ISBN: 9635453647

DEA

2002

Várterész, M., Nagy, B., Kósa, M., Pánovics, J.: A Mesterséges intelligencia tárgy bevezető kurzusának gyakorlatai a Debreceni Egyetemen.
In: Informatika a felsőoktatásban : 2002 : konferencia kiadvány : Debrecen, 2002. aug. 28-30.. Szerk.: Arató Péter, Herdon Miklós, Debreceni Egyetem, Debrecen, 1103-1109, 2002.

10.

Pásztorné Varga, K., Várterész, M., Bognár, K.: Az alkalmazás-orientált logika oktatásának problémái ma a tudományegyetemeken.
In: Informatika a felsőoktatásban 2002 : konferencia kiadvány. Szerk.: Arató Péter; Herdon Miklós, DE Informatikai Int., Debrecen, 180, 2002. ISBN: 9634726917

DEA

11.

Pásztor Varga, K., Várterész, M.: Comparison and usability of two rewriting systems for theorem proving.
Pure math. appl. 13 (1-2), 293-302, 2002.

DEA

2001

12.

Várterész, M.: Accelerated Convergence in Newton-Like Methods.
J. Math. Sci. 103 (4), 529-532, 2001.

doi DEA

Folyóirat-mutatók:

Q3 Applied Mathematics

Q3 Mathematics (miscellaneous)

Q4 Statistics and Probability

1998

13.

Várterész, M.: Érintő-konvexfüggvényekkel generált egyenletmegoldó iterációk.
Alkalm. mat. l. 19, 219-235, 1998.

14.

Várterész, M.: Iterációs eljárások nem-lineáris egyenletek megoldására.
KLTE, Debrecen, 1998.

15.

Várterész, M.: Matematikai logika.
KLTE, Debrecen, 32 p., 1998.

1992

16.

Várterész, M.: Ob odnom vsegda skhodyashchemsya iteratsionnom metode dlya resheniya nelineinykh uravnenii.
Publ. Math.-Debr. 40 (1-2), 1-10, 1992.

DEA

1991

17.

Várterész, M.: Equation solving interactions based on tagential convex functions.
Publ. Math. Debrecen. 39 (3-4), 253-261, 1991.

1985

18.

Várterész, M.: O vsegda shodâŝihsâ iteracionnyh metodah kasmel'nyh vypuklyh funkcij djâ rešeniâ nelinejnyh upravlenij.
Publ. Math. Debrecen. 32, 255-265, 1985.