cam a22 4 4500 279862970 CHVBK 20201020194934.0 130818s1994 gw 00 ger 94,A14,0652 3-528-04700-3 (LIBIB)000190822 (IDSBB)000981956 (NEBIS)000926174 (RERO)R003197677 LI-VaLIL FLFHL ger kids s1in rero 004 15 006.33 22 005.74015113 22 ST 270 rvk ST 271 rvk Cremers Armin B. Deduktive Datenbanken eine Einführung aus der Sicht der logischen Programmierung Armin B. Cremers, Ulrike Griefahn, Ralf Hinze Braunschweig Vieweg 1994 463 Seiten Künstliche Intelligenz S. 439-451 Deduktives Datenbanksystem Logische Programmierung idsbb Logische Programmierung Deduktives Datenbanksystem idsbb Datenbanksystem (DE-588)4113276-2 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logische Programmierung (DE-588)4195096-3 gnd Deductive databases DEDUKTIVE DATENBANKEN (INFORMATIONSSYSTEME) ger (ETHUDK)000045568 ethudk DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger (ETHUDK)000013705 ethudk LEHRBÜCHER (DOKUMENTENTYP) ger (ETHUDK)000000099 ethudk Programmation logique (RERO)A021030089 rero Bases de données déductives (RERO)A021039750 rero Einführung gnd u H.1 INFORMATION SYSTEMS MODELS AND PRINCIPLES idsuzh UM u 519.62 Datenbanken, Informationssysteme idsuzh UK u 510 Mathematische Logik, Mengentheorie, Modelltheorie idsuzh UK u 519.67 Expertensysteme, Künstliche Intelligenz, Fünfte Generation idsuzh UK u 519.61.PRO Programmiersprachen: PROLOG idsuzh UK u ST 270 Datenbanken libib XF u DEDUKTIVE DATENBANKEN (INFORMATIONSSYSTEME) ger 004*07*02*04 nebis E1 u DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN) ger 004*04*03*05 nebis E1 u LEHRBÜCHER (DOKUMENTENTYP) ger (075) nebis E1 u BASES DE DONNÉES DEDUCTIVES (SYSTÈMES D'INFORMATION) fre 004*07*02*04 nebis E1 u DEDUCTIVE DATABASES (INFORMATION SYSTEMS) eng 004*07*02*04 nebis E1 u DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS) eng 004*04*03*05 nebis E1 u PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION) fre 004*04*03*05 nebis E1 u TEXTBOOKS (DOCUMENT TYPE) eng (075) nebis E1 u MANUELS POUR L'ENSEIGNEMENT (TYPE DE DOCUMENT) fre (075) nebis E1 Griefahn Ulrike Hinze, Ralf Artificial intelligence Vieweg (RERO)000849867 BK020000 XK020000 XK020000 E43ANH-2009 nebis E5 E43-20090402 nebis EN dv FL if SzZuIDS BS/BE RERO RE01046 RE01046 RE010460003 DIUF 1.7.3 TIB 4951 NEBIS E30 E30 AR NMZ 112 NEBIS Z01 Z01 03 GV 5187 IDSBB A100 A100 100FM UBH Kt 6209 Akz: ba/uub-/k/226256 NEBIS UFBI UFBI ULSTM 519.62 Nr. 274 LIBIB FLFHL FLFHL FHLMA ST 270 C912 NEBIS E01 E01 MG 758638 IDSBB B400 B400 400H1 BeM ZB Math 3541 Akz: be/stub/k/94/85859 LIBIB 100 1- Cremers Armin B. LIBIB 490 0- Künstliche Intelligenz LIBIB 700 1- Griefahn Ulrike LIBIB 710 2- Hinze, Ralf IDSBB 100 1- Cremers Armin B. IDSBB 490 0- Artificial intelligence= Künstliche Intelligenz IDSBB 700 1- Griefahn Ulrike IDSBB 700 1- Hinze Ralf NEBIS 100 1- Cremers Armin B. NEBIS 490 -- Künstliche Intelligenz NEBIS 700 1- Griefahn Ulrike NEBIS 700 1- Hinze Ralf RERO 100 1- Cremers Armin B. (IDREF)168585391 cre RERO 490 1- Artificial intelligence RERO 700 1- Griefahn Ulrike (RERO)A008824556 RERO 700 1- Hinze Ralf (RERO)A003373533 RERO 830 -- Artificial intelligence Vieweg (RERO)000849867 SWISSBIB 024332380