M. Várterész

MaRDI QIDQ200267zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Many-valued logics -- implications and semantic consequences	2014-06-24	Paper
Many-valued logics -- theorem proving problems	2012-01-05	Paper
Many-valued logic, mappings, ICF graphs, normal forms	2009-12-29	Paper
Languages of logic and their applications Computers & Mathematics with Applications	2008-05-05	Paper
Usablity of some theorem proving systems	2006-04-26	Paper
scientific article; zbMATH DE number 2065283 (Why is no real title available?)	2004-05-18	Paper
scientific article; zbMATH DE number 2016837 (Why is no real title available?)	2003-12-14	Paper
Accelerated convergence in Newton-like methods Journal of Mathematical Sciences (New York)	2001-08-28	Paper
scientific article; zbMATH DE number 1336304 (Why is no real title available?)	1999-09-14	Paper
scientific article; zbMATH DE number 61522 (Why is no real title available?)	1992-09-27	Paper
scientific article; zbMATH DE number 55005 (Why is no real title available?)	1992-09-26	Paper
scientific article; zbMATH DE number 4003370 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: M. Várterész