A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
3 résultat(s) recherche sur le tag 'raisonnement'
Affiner la recherche Interroger des sources externesAutomated Reasoning : Introduction and Applications / Larry WOS
Titre : Automated Reasoning : Introduction and Applications Type de document : texte imprimé Auteurs : Larry WOS, Auteur ; R. OVERBEEK, Auteur ; Ewing LUSK, Auteur ; J. BOYLE, Auteur Editeur : Prentice Hall Année de publication : 1984 Langues : Inconnue (und) Tags : RAISONNEMENT APPRENTISSAGE LOGIQUE PREUVE INTELLIGENCE ARTIFICIELLE Index. décimale : I4 I4 - Intelligence Artificielle Automated Reasoning : Introduction and Applications [texte imprimé] / Larry WOS, Auteur ; R. OVERBEEK, Auteur ; Ewing LUSK, Auteur ; J. BOYLE, Auteur . - [S.l.] : Prentice Hall, 1984.
Langues : Inconnue (und)
Tags : RAISONNEMENT APPRENTISSAGE LOGIQUE PREUVE INTELLIGENCE ARTIFICIELLE Index. décimale : I4 I4 - Intelligence Artificielle Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I4 / 2839 Papier OUVRAGES INFORMATIQUE Disponible
Titre : Foundations of Semantic Web Technologies Type de document : texte imprimé Auteurs : HITZLER P., Auteur ; RUDOLPH S., Auteur ; KROTZSCH M., Auteur Editeur : CRC Press Année de publication : 2010 Importance : 427 p. ISBN/ISSN/EAN : 978-1-420-09050-5 Langues : Anglais (eng) Tags : informatique web sémantique intelligence artificielle ontologies raisonnement Index. décimale : I2 I2 - Langages, Programmation Foundations of Semantic Web Technologies [texte imprimé] / HITZLER P., Auteur ; RUDOLPH S., Auteur ; KROTZSCH M., Auteur . - [S.l.] : CRC Press, 2010 . - 427 p.
ISBN : 978-1-420-09050-5
Langues : Anglais (eng)
Tags : informatique web sémantique intelligence artificielle ontologies raisonnement Index. décimale : I2 I2 - Langages, Programmation Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I2 / 15036 Papier OUVRAGES INFORMATIQUE Emprunté par: Marie-Laure Mugnier
Sorti jusqu'au 27/10/2011
Titre : Représentation à Objets et Raisonnement par Classification en Intelligence Artificielle Type de document : texte imprimé Auteurs : NAPOLI, Auteur Année de publication : 1992 Langues : Français (fre) Tags : REPRESENTATION DE CONNAISSANCES RAISONNEMENT CLASSIFICATION CATEGORISATION AUTOMATIQUE DE DOCUMENTS REPRESENTATION CENTREE-OBJET SUBSOMPTION RESOLUTION DISTRIBUEE DE PROBLEMES SYNTHESE SYNTHESE ORGANIQUE PLANIFICATION DE SYNTHESE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM IW159 Président du jury : FINANCE J.P. Rapporteur(s) : FERBER J.;FOUCAUT O. Examinateur(s) : DUCOURNAU R.;HATON J.P.;LAURENCO C.;MASINI G. Date de soutenance : 31/01/1992 Représentation à Objets et Raisonnement par Classification en Intelligence Artificielle [texte imprimé] / NAPOLI, Auteur . - 1992.
Langues : Français (fre)
Tags : REPRESENTATION DE CONNAISSANCES RAISONNEMENT CLASSIFICATION CATEGORISATION AUTOMATIQUE DE DOCUMENTS REPRESENTATION CENTREE-OBJET SUBSOMPTION RESOLUTION DISTRIBUEE DE PROBLEMES SYNTHESE SYNTHESE ORGANIQUE PLANIFICATION DE SYNTHESE Index. décimale : THE Thèses de doctorat Note de contenu : CRIM IW159 Président du jury : FINANCE J.P. Rapporteur(s) : FERBER J.;FOUCAUT O. Examinateur(s) : DUCOURNAU R.;HATON J.P.;LAURENCO C.;MASINI G. Date de soutenance : 31/01/1992 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-92 / 1891 Papier THESES INFORMATIQUE Disponible
