cam a22 u 4500 279862903 CHVBK 20200921160803.0 130818s1987 gw 00 ger d 3-486-20509-9 (IDSLU)000035652 (NEBIS)000412762 SzZuIDS LU LUZHB kids 511.3 20 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.] München Wien Oldenbourg 1987 VI, 179 S. Ill. 25 cm Automatisches Beweisverfahren (DE-588)4069034-9 gnd Deduktion (DE-588)4011271-8 gnd Deduktionssystem (DE-588)4194364-8 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logik (DE-588)4036202-4 gnd Logisches Denken (DE-588)4323319-3 gnd Artificial intelligence Automatic theorem proving BEWEISVERFAHREN + BEWEIS (WISSENSCHAFTSTHEORIE) ger (ETHUDK)000009714 ethudk DEDUKTIVES SCHLUSSVERFAHREN + SYLLOGISMUS (PHILOSOPHISCHE LOGIK) ger (ETHUDK)000009618 ethudk MATHEMATIK ger (ETHUDK)000012462 ethudk PL-1 (PROGRAMMIERSPRACHEN) ger (ETHUDK)000013719 ethudk PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012508 ethudk Aufsatzsammlung gnd-content u Deduktionssysteme. A.D idslu L1 u Logistik, B: Deduktionssysteme idslu L1 u Künstliche Intelligenz, B: Deduktionssysteme idslu L1 u Deduktion idszbz Z9 u Künstliche Intelligenz idszbz Z9 u DEDUKTIVES SCHLUSSVERFAHREN + SYLLOGISMUS (PHILOSOPHISCHE LOGIK) ger 16,113.2 nebis E1 u PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger 510.635 nebis E1 u PL-1 (PROGRAMMIERSPRACHEN) ger 004*04*05*01*PL/1 nebis E1 u BEWEISVERFAHREN + BEWEIS (WISSENSCHAFTSTHEORIE) ger 167,23 nebis E1 u MATHEMATIK ger 51 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 PREDICATE LOGIC (MATHEMATICAL LOGIC) eng 510.635 nebis E1 u LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE) fre 510.635 nebis E1 u PL 1 (LANGAGE DE PROGRAMMATION) fre 004*04*05*01*PL/1 nebis E1 u PL-1 (PROGRAMMING LANGUAGES) eng 004*04*05*01*PL/1 nebis E1 u DOCTRINE OF PROVIDING EVIDENCE (PHILOSOPHY OF SCIENCE) eng 167,23 nebis E1 u MÉTHODES DE DÉMONSTRATION + PREUVE (THÉORIE DES SCIENCES) fre 167,23 nebis E1 u MATHÉMATIQUES fre 51 nebis E1 u MATHEMATICS eng 51 nebis E1 Bläsius Karl H. BK020000 XK020000 XK020000 MedeaZBZ idszbz ZR 28 IDS LU NEBIS E30 E30 AR NRD 2 IDSLU LUZHB LUSBI SBIZB R.h 5880 NEBIS Z01 Z01 03 GGN 31826 NEBIS E01 E01 MG 740579 IDSLU 700 1- Bläsius Karl H. NEBIS 700 1- Bläsius Karl Hans SWISSBIB 279862903 ORANGE 279862903