cam a22 4500 27986289X CHVBK 20200922104115.0 130818s1994 sz 00 0 ger d 3-411-17171-5 (br.) (SNL)991001416339703976 (NEBIS)001388928 (Sz)31878-41snl_51 (Sz)vtls000031878 (Sz)000031878 Sz Sz sz gw Socher-Ambrosius Rolf Deduktionssysteme von Rolf Socher-Ambrosius Mannheim Leipzig Zürich [etc.] B.-I.-Wissenschaftsverlag, Bibliographisches Institut & F.A. Brockhaus 1994 186 S. 21 cm Ill. Stichwortverz. Literaturverz. Deduktionssystem (DE-588)4194364-8 gnd AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012522 ethudk LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk u 519.61 Programmierung idsuzh UK 517.1 snl local 681.30:51 snl local sb 1995/02 20 snl-sb u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) 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 TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 BK020000 XK020000 XK020000 ZH idszbz Z1 SNL NB001 NB001 Nb 56400 NB10010 NEBIS E30 E30 E30BI EDG 201 NEBIS UFBI UFBI ULSTM 519.61 Nr. 234 NEBIS E01 E01 MG 761240 SNL 100 1- Socher-Ambrosius Rolf NEBIS 700 1- Socher-Ambrosius Rolf SWISSBIB 09611228X ORANGE 09611228X