A matematikai logika alkalmazásszemléletű tárgyalása K Pásztorné Varga, M Várterész Panem, 2003 | 22* | 2003 |
Usability of some Theorem Proving Systems KP Varga, M Várterész Pure Mathematics and Applications 15 (2-3), 273-284, 2004 | 6 | 2004 |
Comparison and usability of two rewriting systems for theorem proving KP Varga, M Várterész Pure Mathematics and Applications 13 (1-2), 293-302, 2002 | 6 | 2002 |
A generalized approach to the theorem proving methods K Pásztor Varga, M Várterész Proc. 5th International Conference on Applied Informatics, 191-200, 2001 | 5 | 2001 |
Languages of logic and their applications K Pásztor Varga, M Várterész Computers & Mathematics with Applications 55 (8), 1660-1669, 2008 | 3 | 2008 |
Computer science, logic, informatics education KP Varga, M Várterész Journal of Universal Computer Science 12 (9), 1405-1410, 2006 | 3 | 2006 |
Matematikai logika példatár T Kádek, J Robu, M Várterész Kolozsvári Egyetemi Kiadó, 2010 | 2 | 2010 |
Many-valued logic, mappings, ICF graphs, normal forms KP Varga, M Várterész Annales Univ. Sci. de Rolando Eötvös Nom. Sec. Computatorica 31, 185-202, 2009 | 2 | 2009 |
An SQC based model for the quality improvement of computer aided teaching AK Fazekas, G Fazekas, M Várterész Zoltán Csörnyei (Ed.), 37, 2012 | 1 | 2012 |
EQUATION SOLVING ITERATIONS BASED ON TANGENTIAL CONVEX-FUNCTIONS M Várterész PUBLICATIONES MATHEMATICAE-DEBRECEN 39 (3-4), 253-261, 1991 | 1 | 1991 |
Parciális approximációs téren alapuló logikai rendszerek vizsgálata és ezek alkalmazásai a mesterséges intelligenciában T Kádek | | 2018 |
Many-valued logics− implications and semantic consequences VK Pásztor, G Alagi, M Várterész | | 2013 |
Many-valued logics—implications and semantic consequences KP Varga, G Alagi Acta Universitatis Sapientiae, Informatica 5 (2), 145-166, 2013 | | 2013 |
Many-valued logics–theorem proving problems K Pásztor Varga, M Várterész Győr, Magyarország, 2011 | | 2011 |
Many-valued logics–theorem proving problems KP Varga, M Várterész 8th Joint Conference on Mathematics and Computer Science, 86-93, 2011 | | 2011 |
Remarks to the Effectiveness of some Resolution Strategies K Pásztor-Varga, M Várterész The 6th Joint Conference on Mathematics and Computer Science, 73, 2006 | | 2006 |
Theorem Proving Methods, Implementations: An Overview KP Varga, M Várterész The 9th Symposium on Programming Languages and Software Tools (Tartu, Estonia),, 2005 | | 2005 |
Some Rewriting Systems as a Background of Proving Methods KP Varga, M Várterész Proc. Kalmár Workshop on Logic and Computer Science, 213-227, 2003 | | 2003 |
Accelerated Convergence in Newton-Like Methods M Várterész Journal of Mathematical Sciences 103 (4), 529-532, 2001 | | 2001 |
Iterációs eljárások nem-lineáris egyenletek megoldására M Várterész PhD értekezés, KLTE, 1998 | | 1998 |