cam a22 u 4500 282734317 CHVBK 20200924222734.0 130818s1987 fr | 00 |fre|d 2-225-81178-4 http://catalogue.bnf.fr/ark:/12148/cb34968154v uri (NEBIS)001474402 (RERO)0895211 EPF-BC fre ETH-BIB ETHICS-ISBD s1ps rero s2in rero Exercices programmés d'intelligence artificielle Henry Farreny Paris [etc.] Masson 1987 328 p. 24 cm ill. Méthode + programmes AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012522 ethudk EXPERTENSYSTEME + WISSENSBASIERTE SYSTEME (KÜNSTLICHE INTELLIGENZ) ger (ETHUDK)000013752 ethudk HEURISTISCHE METHODEN (KÜNSTLICHE INTELLIGENZ) ger (ETHUDK)000048807 ethudk KÜNSTLICHE INTELLIGENZ ger (ETHUDK)000009085 ethudk PROGRAMMIERTE TEXTE + LERNPROGRAMME (LEHRMITTEL) ger (ETHUDK)000049536 ethudk Intelligence artificielle (RERO)A021001871 rero Problèmes et exercices (RERO)A021106236 rero u KÜNSTLICHE INTELLIGENZ ger 004*08*02 nebis E1 u PROGRAMMIERTE TEXTE + LERNPROGRAMME (LEHRMITTEL) ger (076.6) nebis E1 u HEURISTISCHE METHODEN (KÜNSTLICHE INTELLIGENZ) ger 004*08*02*09*01 nebis E1 u AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK) ger 510.662,5 nebis E1 u EXPERTENSYSTEME + WISSENSBASIERTE SYSTEME (KÜNSTLICHE INTELLIGENZ) ger 004*08*02*02 nebis E1 u ARTIFICIAL INTELLIGENCE eng 004*08*02 nebis E1 u INTELLIGENCE ARTIFICIELLE fre 004*08*02 nebis E1 u COURS PROGRAMMES (DOCUMENTS PEDAGOGIQUES) fre (076.6) nebis E1 u PROGRAMMED TEXTS (INSTRUCT.DOCUMENTS) eng (076.6) nebis E1 u MÉTHODES HEURISTIQUES (INTELLIGENCE ARTIFICIELLE) fre 004*08*02*09*01 nebis E1 u HEURISTIC METHODS (ARTIFICIAL INTELLIGENCE) eng 004*08*02*09*01 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 SYSTÈMES EXPERTS + SYSTÈMES A BASE DE CONNAISSANCES (INTELLIGENCE ARTIFICIELLE) fre 004*08*02*02 nebis E1 u EXPERT SYSTEMS + KNOWLEDGE-BASED SYSTEMS (ARTIFICIAL INTELLIGENCE) eng 004*08*02*02 nebis E1 Farreny Henri Méthodes et Programmes (RERO)000448089 BK020000 XK020000 XK020000 RERO RE61083 RE61083 RE610830001 I.2.5 FAR NEBIS E02 E02 E02MA C 389 NEBIS 490 -- Méthode + programmes NEBIS 700 1- Farreny Henri RERO 100 1- Farreny Henri (RERO)A003232235 cre RERO 490 1- Méthode + programmes RERO 830 -- Méthodes et Programmes (RERO)000448089