cam a22 u 4500 279862911 CHVBK 20201020194934.0 130818s1992 gw 00 ger d 92,A30,0630 3-486-22033-0 (IDSBB)000875278 (IDSLU)000065067 (NEBIS)000657656 (RERO)1864027 SzZuIDS BS/BE A100 ger kids gw au s1in rero 510 15 004 15 SK 130 rvk ST 285 rvk ST 300 rvk ST 304 rvk Deduktionssysteme Automatisierung des logischen Denkens hrsg. von K. H. Bläsius und H.-J. Bürckert ; mit Beitr. von K. H. Bläsius ... [et al.] 2., völlig überarb. und erw. Aufl. München [etc.] R. Oldenbourg 1992 VIII, 291 S. 24 cm Mathematische Logik idsbb Deduktion idsbb Computerunterstützter Beweis idsbb Deduktionssystem idszbz Deduktionssystem (DE-588)4194364-8 gnd Artificial intelligence Automatic theorem proving AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012522 ethudk MATHEMATIKGESCHICHTE ger (ETHUDK)000041256 ethudk MECHANISCHE RECHENMASCHINEN + MECHANISCHE RECHENGERÄTE (INFORMATIKGESCHICHTE) ger (ETHUDK)000042550 ethudk MODALE LOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012513 ethudk TEMPORALLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012509 ethudk Déduction (logique) (RERO)A021027916 rero Informatique (RERO)A021001890 rero Logique mathématique (RERO)A021013613 rero démonstration de théorème (RERO)A009957298 rerovoc Aufsatzsammlung idszbz u Deduktionssysteme. A.D idslu L1 u Logistik, B: Deduktionssysteme idslu L1 u Künstliche Intelligenz, B: Deduktionssysteme idslu L1 u F.3 LOGICS AND MEANINGS OF PROGRAMS idsuzh UM u F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES idsuzh UM u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u MODALE LOGIK (MATHEMATISCHE LOGIK) ger 510.643 nebis E1 u TEMPORALLOGIK (MATHEMATISCHE LOGIK) ger 510.643,1 nebis E1 u MECHANISCHE RECHENMASCHINEN + MECHANISCHE RECHENGERÄTE (INFORMATIKGESCHICHTE) ger 004*01*02*01 nebis E1 u MATHEMATIKGESCHICHTE ger 51(091) nebis E1 u DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE) fre 510.662,5 nebis E1 u AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC) eng 510.662,5 nebis E1 u MODAL LOGIC (MATHEMATICAL LOGIC) eng 510.643 nebis E1 u LOGIQUE MODALE (LOGIQUE MATHÉMATIQUE) fre 510.643 nebis E1 u TEMPORAL LOGIC (MATHEMATICAL LOGIC) eng 510.643,1 nebis E1 u LOGIQUE TEMPORELLE (LOGIQUE MATHÉMATIQUE) fre 510.643,1 nebis E1 u MECHANICAL COMPUTERS + MECHANICAL CALCULATING MACHINES (HISTORY OF COMPUTERS) eng 004*01*02*01 nebis E1 u MACHINES À CALCULER MÉCANIQUES (HISTOIRE DE L'INFORMATIQUE) fre 004*01*02*01 nebis E1 u HISTORY OF MATHEMATICS eng 51(091) nebis E1 u HISTOIRE DES MATHÉMATIQUES fre 51(091) nebis E1 Bläsius Karl Hans Bürckert Hans-Jürgen BK020000 XK020000 XK020000 if SzZuIDS BS/BE mt SzZuIDS BS/BE 28 IDS LU RERO RE01046 RE01046 RE010460003 DIUF 1.6.5 TIB 4652 NEBIS E30 E30 AR NRD 123 IDSLU LUZHB LUSBI SBIZB R.i 848 NEBIS Z01 Z01 03 GV 4778 IDSBB A100 A100 100FM UBH Kt 5324 Akz: ba/uub-/k/198554 NEBIS E01 E01 MG 754675 IDSBB 700 1- Bläsius Karl Hans IDSBB 700 1- Bürckert Hans-Jürgen IDSLU 700 1- Bläsius Karl Hans NEBIS 700 1- Bläsius Karl Hans NEBIS 700 1- Bürckert Hans-Jürgen RERO 700 1- Bläsius Karl H. (IDREF)169229629 SWISSBIB 279862903 ORANGE 279862903