Thomas J. Weigert

Available identifiers

zbMath Open weigert.thomas-jMaRDI QIDQ1193839

List of research outcomes

Publication	Date of Publication	Type
Systems specification by basic protocols	2006-10-20	Paper
Basic protocols, message sequence charts, and the verification of requirements specifications	2005-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4450993	2004-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q4840654	1996-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4867197	1996-02-28	Paper
Fuzzy operator logic and fuzzy resolution	1994-12-01	Paper
Reasoning under uncertainty in fuzzy operator logic	1993-01-16	Paper
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic	1992-09-27	Paper
\(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic	1991-01-01	Paper

Research outcomes over time

This page was built for person: Thomas J. Weigert