海量图书期刊资源,随时随地畅享阅读乐趣
Peculiarities of organic superconductors of the (BEDT-TTF)2X-familyKlaus Andres; Helmut Schwenk; Helmut Veith · 1986
Languages represented by Boolean formulasHelmut Veith · 1997
Complexity of t-tautologiesMatthias Baaz; Petr Hájek; Franco Montagna; Helmut Veith · 2001
On the complexity of data disjunctionsThomas Eiter; Helmut Veith · 2002
InformationsmanagementHelmut Malleck; Veith Risak · 2003
Interpolation in fuzzy logicMatthias Baaz; Helmut Veith · Archive for Mathematical Logic · 1999
Special Issue: Games in VerificationHelmut Veith · 2012
Succinct Representation, Leaf Languages, and Projection ReductionsHelmut Veith · 1998
CorrigendumArchiv für das Eisenhüttenwesen · 1981
Melting of ESR electrodesTacke, Karl-Hermann; Schwerdtfeger, Klaus · Archiv für das Eisenhüttenwesen · 1981
Darstellung von DreistoffsystemenScheil, Erich · Archiv für das Eisenhüttenwesen · 1936
Elektrolytische Desoxidation von EisenschmelzenJanke, Dieter · Archiv für das Eisenhüttenwesen · 1978
Damaszenerstahl - Geschichte, Legende und WirklichkeitSachse, Manfred · Archiv für das Eisenhüttenwesen · 1978
Die kritische Alterungstemperatur bei ElektroblechMerz, Heinrich · Archiv für das Eisenhüttenwesen · 1970
Untersuchung des Bruchgeschehens im ScharfkerbbiegeversuchPircher, Hans; Degenkolbe, Joachim · Archiv für das Eisenhüttenwesen · 1971
Bemerkungen zur Martensittemperatur von EisenlegierungenHornbogen, Erhard · Archiv für das Eisenhüttenwesen · 1972