cam a22 u 4500 12862888X CHVBK 20200921121606.0 880212s1981 gw | 00 |ger|d (OCoLC)46007569 (NEBIS)000252509 ETH-BIB ger ETH-BIB ETHICS-ISBD Dilger Werner Einführung in die Markgraf Karl Refutation Procedure Werner Dilger, Jürgen Müller, Wolfgang Womann Kaiserslautern 1981 39 S. Tab.; Diagr. Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern 40/81 (NEBIS)000006722 40 126682356 PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012508 ethudk SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger (ETHUDK)000012523 ethudk u PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger 510.635 nebis E1 u SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger 510.662 nebis E1 u PREDICATE LOGIC (MATHEMATICAL LOGIC) eng 510.635 nebis E1 u LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE) fre 510.635 nebis E1 u INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC) eng 510.662 nebis E1 u RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE) fre 510.662 nebis E1 Müller Jürgen Womann Wolfgang NEBIS C009 C009 - - BK020000 XK020000 XK020000 NEBIS 100 1- Dilger Werner NEBIS 490 -- Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern 40/81 (NEBIS)000006722 40 126682356 NEBIS 700 1- Müller Jürgen NEBIS 700 1- Womann Wolfgang