cam a22 4 4500 279873646 CHVBK 20201119071544.0 t| 130818s1982 sz | mm 00 |eng|d MedeaB400: 00383414 IZ UBE/rekat-ubbe (NEBIS)000321854 (IDSBB)004555297 (SNL)991007444429703976 (VAUD)991018716169702852 (BGR)000328661 (Sz)292773-41snl_51 (Sz)vtls000292773 (Sz)000292773 (RNV)000385110-41bculausa_network (RERO)000385110 0417362 (EXLNZ-41BCULAUSA_NETWORK)991014162459702851 ETH-BIB ger ETH-BIB ETHICS-ISBD s1ma rero Heintz Joos Definability and fast quantifier elimination in algebraically closed fields von Joos Heintz Zürich 1982 52 S. Ill. 21 cm Diss. Univ. Zürich, 1982. - Ref.: V. Strassen 1900245158 dea ps NB036-2000 nt ALGEBRAISCHE GEOMETRIE ger (ETHUDK)000012798 ethudk ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) ger (ETHUDK)000012748 ethudk ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger (ETHUDK)000012524 ethudk LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) ger (ETHUDK)000012519 ethudk Algebraisch abgeschlossener Körper (DE-588)4132441-9 gnd Quantorenelimination (DE-588)4308709-7 gnd Hochschulschrift gnd-content u ALLGEMEINE KÖRPERTHEORIE (ALGEBRA) ger 512.623 nebis E1 u LOGIKO-MATHEMATISCHE THEORIEN (MATHEMATISCHE LOGIK) ger 510.65 nebis E1 u ALGEBRAISCHE GEOMETRIE ger 512.7 nebis E1 u ENTSCHEIDUNGSPROBLEME (MATHEMATISCHE LOGIK) ger 510.665 nebis E1 u GENERAL FIELD THEORY (ALGEBRA) eng 512.623 nebis E1 u THÉORIE GÉNÉRALE DES CORPS (ALGÈBRE) fre 512.623 nebis E1 u LOGICO-MATHEMATICAL THEORIES (MATHEMATICAL LOGIC) eng 510.65 nebis E1 u THÉORIES LOGICO-MATHÉMATIQUES (LOGIQUE MATHÉMATIQUE) fre 510.65 nebis E1 u ALGEBRAIC GEOMETRY eng 512.7 nebis E1 u GÉOMÉTRIE ALGÉBRIQUE fre 512.7 nebis E1 u DECISION PROBLEMS (MATHEMATICAL LOGIC) eng 510.665 nebis E1 u PROBLÈMES DE DÉCISION (LOGIQUE MATHÉMATIQUE) fre 510.665 nebis E1 Straßen Volker 1936- (DE-588)1027737773 Akademischer Betreuer dgs Straßen Volker 1936- (DE-588)1027737773 ths BK020300 XK020000 XK020000 1 Hochschulschrift = Thèse/Mémoire UNI-ZH nebis E2 ZH idszbz Z1 zbzdis200908rl wall idszbz Z2 medeabern idsbb B SNL NB001 NB001 Hb 12840 NB10010 VAUD bcud bcud TOA 24234 810010047 NEBIS Z01 Z01 ADH DAR DF 3551 NEBIS UFBI UFBI ULMZS QA4.2.DIS 268 1982 BGR KBG KBG KBGMA KBG Bu 4721 NEBIS Z01 Z01 05 UnS 1982: 284 IDSBB B400 B400 400H1 BeM ZB Math var 3143 MEDEAB4000807 NEBIS 100 1- Heintz Joos NEBIS 700 1- Straßen Volker 1936- (DE-588)1027737773 Akademischer Betreuer dgs NEBIS 700 1- Straßen Volker 1936- (DE-588)1027737773 ths IDSBB 100 1- Heintz Joos SNL 100 1- Heintz Joos VAUD 100 1- Heintz Joos aut BGR 100 1- Heintz Joos