cam a22 u 4500 279862881 CHVBK 20201120171205.0 tu 130818s1992 gw |||||||||| 00 |ger d 3-486-20785-7 (IDSBB)000797024 (NEBIS)000632772 (RERO)1864012 (BGR)000010974 SzZuIDS BS/BE A125 ger kids gw au s1in rero 004 15 ER 620 rvk SK 130 rvk SS 1180 rvk SS 1300 rvk ST 110 rvk ST 120 rvk ST 125 rvk ST 285 rvk ST 304 rvk Bibel Wolfgang Deduktion Automatisierung der Logik von Wolfgang Bibel ; unter Mitarb. von Steffen Hölldobler ; mit einem Übungsteil von Gerd Neugebauer München [etc.] R. Oldenbourg 1992 269 S. Ill. 25 cm Handbuch der Informatik Bd. 6, 2 6/2 (IDSBB)000409514 291115470 Literaturverz. S. 239-254 Mathematische Logik idsbb Deduktion idsbb Automation idszbz Mathematische Logik idszbz Automation (DE-588)4003957-2 gnd Deduktion (DE-588)4011271-8 gnd Logik (DE-588)4036202-4 gnd Logic, Symbolic and mathematical Data processing AUSSAGENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012507 ethudk DEDUKTIVES SCHLUSSVERFAHREN + SYLLOGISMUS (PHILOSOPHISCHE LOGIK) ger (ETHUDK)000009618 ethudk INFERENZREGELN (MATHEMATISCHE LOGIK) ger (ETHUDK)000012492 ethudk LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk MODALE LOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012513 ethudk PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012508 ethudk UNIFIKATION (MATHEMATISCHE LOGIK) ger (ETHUDK)000037524 ethudk Déduction (logique) (RERO)A021027916 rero Logique mathématique (RERO)A021013613 rero Informatique (RERO)A021001890 rero Deduktionssystem (DE-588)4194364-8 gnd Lehrbuch idszbz u 519.80 Angewandte Mathematik, Operations Research idsuzh UK u F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES idsuzh UM u I.2 ARTIFICIAL INTELLIGENCE idsuzh UM u DEDUKTIVES SCHLUSSVERFAHREN + SYLLOGISMUS (PHILOSOPHISCHE LOGIK) ger 16,113.2 nebis E1 u AUSSAGENLOGIK (MATHEMATISCHE LOGIK) ger 510.635,0 nebis E1 u PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger 510.635 nebis E1 u MODALE LOGIK (MATHEMATISCHE LOGIK) ger 510.643 nebis E1 u UNIFIKATION (MATHEMATISCHE LOGIK) ger 510.66*2 nebis E1 u INFERENZREGELN (MATHEMATISCHE LOGIK) ger 510.27*1 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 u DÉDUCTION + SYLLOGISME (LOGIQUE PHILOSOPHIQUE) fre 16,113.2 nebis E1 u SYLLOGISM + DEDUCTION (PHILOSOPHICAL LOGIC) eng 16,113.2 nebis E1 u PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC) eng 510.635,0 nebis E1 u LOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉMATIQUE) fre 510.635,0 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 MODAL LOGIC (MATHEMATICAL LOGIC) eng 510.643 nebis E1 u LOGIQUE MODALE (LOGIQUE MATHÉMATIQUE) fre 510.643 nebis E1 u UNIFICATION (MATHEMATICAL LOGIC) eng 510.66*2 nebis E1 u UNIFICATION (LOGIQUE MATHÉMATIQUE) fre 510.66*2 nebis E1 u RÈGLES D'INFÉRENCE (LOGIQUE MATHÉMATIQUE) fre 510.27*1 nebis E1 u INFERENCE RULES (MATHEMATICAL LOGIC) eng 510.27*1 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 Hölldobler Steffen Handbuch der Informatik : die umfassende Darstellung der Informatik in Einzelbänden 6 2 BK020000 XK020000 XK020000 if SzZuIDS BS/BE RERO RE01046 RE01046 RE010460003 DIUF 1.6.5 TIB 4653 NEBIS Z01 Z01 03 GV 2105: 6:2 NEBIS UFBI UFBI ULSTM 519.60 Nr. 133 IDSBB A100 A100 MAG UBH Kt 3273:6:2 Akz: ba/uub-/k/f/134105 IDSBB A150 A150 MAG ZBS XX 2915/6/2 BGR KBG KBG KBGMA KBG Z 3265 (6,2) 6,2 NEBIS E01 E01 MG 741781: 6/2 IDSBB 100 1- Bibel Wolfgang IDSBB 490 0- Handbuch der Informatik Bd. 6, 2 6/2 (IDSBB)000409514 291115470 IDSBB 700 1- Hölldobler Steffen NEBIS 100 1- Bibel Wolfgang NEBIS 490 -- Handbuch der Informatik. Band 6, Künstliche Intelligenz 2 2 (NEBIS)000520741 600404366 NEBIS 700 1- Hölldobler Steffen NEBIS 700 1- Neugebauer Gerd RERO 100 1- Bibel Wolfgang (IDREF)033345422 cre RERO 490 1- Handbuch der Informatik Bd. 6.2 RERO 700 1- Hölldobler Steffen (IDREF)148925278 RERO 700 1- Neugebauer Gerd (RERO)A003636271 RERO 830 -- Handbuch der Informatik : die umfassende Darstellung der Informatik in Einzelbänden 6 2 BGR 490 1- Handbuch der Informatik / hrsg. von Albert Endres, Hermann Krallmann, Peter Schnupp. Künstliche Intelligenz Band 6,2 BGR 700 1- Hölldobler Steffen BGR 700 1- Bibel Wolfgang