Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Studies in logic and the foundations of mathematics
Localisation : Colloque 1er étage (HELS)
confirmation # information sémantique # logique du premier ordre # logique inductive # paradoxe
03B48 ; 03B65 ; 03B70 ; 60A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-90-277-2727-5
Localisation : Colloque 1er étage (VIEN)
acquisition des connaissances # biomathématique # chemin de la découverte # conception de système expert # coopération des processus de compétition # cybernétique # ensemble flore et système # formulation des problèmes # fourniture d'énergie électrique # ingeneering # instrumentation de la théorie des systèmes # intelligence artificielle # interface # langage # langage de programmation pour la robotique industrielle # langage naturel # logique # modèle de conception de systèmes # modèle de prise de décision # problème politique # processus d'application d'ensemble flou # programmation linéaire multiobjective # psychologie # reconnaissance de chemin # reconnaissance des formes # risque stratégie # robot # robotique # réseau Pietri # science humaine # synchronisation mécanique # système automatisé # système expert # système global # traitement distribué en parallèle # éducation # épistémologie
acquisition des connaissances # biomathématique # chemin de la découverte # conception de système expert # coopération des processus de compétition # cybernétique # ensemble flore et système # formulation des problèmes # fourniture d'énergie électrique # ingeneering # instrumentation de la théorie des systèmes # intelligence artificielle # interface # langage # langage de programmation pour la robotique industrielle # langage naturel # logique # ...
03B65 ; 03E72 ; 04A72 ; 90C05 ; 90C08
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-981-02-2682-4
Localisation : Colloque 1er étage (MAGD)
accepteur de langage neuronal # automate auto-modifiant # automate cellulaire # biologie # concurrence # dérivation contrôlée # graphe # informatique # logique temporelle linéaire propositionnelle # mathématique # mot infini # robustesse en analyse grammaticale # suite et code # synonymie # système de grammaire # sémantique de langage finitaire # théorie du langage
03B65 ; 05Cxx ; 68Qxx ; 92-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Travaux du centre de recherches semiologiques , 0062
Localisation : Colloque 1er étage (NEUC)
langage # logique # semiologie # épistémologie des sciences
03A05 ; 03B65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 240 p.
ISBN 978-963-05-5586-9
Localisation : Ouvrage RdC (SZEK)
analyse de la régression linéaire # calcul des probabilités # fondement de la logique # logique # paradoxe # régression # statistique
03A05 ; 03B65 ; 60-02 ; 62C15 ; 82Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 237 p.
ISBN 978-90-6196-306-6
CWI tract , 0028
Localisation : Collection 1er étage
algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique
03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-0-201-07028-6
Localisation : Ouvrage RdC (SHOE)
langage du premier ordre # logique mathématique # réccurence # théorie des ensembles # théorie des modèles
03-01 ; 03B10 ; 03B65 ; 03Bxx ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 273 p.
ISBN 978-0-521-58386-2
Cambridge tracts in theoretical computer science , 0044
Localisation : Ouvrage RdC (BARW)
apprentissage et système adaptatif # informatique théorie # langage naturel # linguistique # logique # logique algébrique # logique de programmation # logique non classique # logique quantique # philosophie # système distribué # théorie du calcul informatique # traitement de l'information # traitement des données électroniques
03-02 ; 03A05 ; 03B60 ; 03B65 ; 03B70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 172 p.
ISBN 978-0-8218-1078-1
American mathematical society translations series 2 , 0192
Localisation : Collection 1er étage
classe de complexité # complexité du calcul # grammaire # informatique # langue # linguistique mathématique # logique du langage # logique modale # théorie de preuve
03B45 ; 03B65 ; 03F40 ; 68Q15 ; 68S08
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-1-56881-135-2
Localisation : Ouvrage RdC (SHOE)
langage du premier ordre # logique mathématique # réccurence # théorie des ensembles # théorie des modèles
03-01 ; 03B10 ; 03B65 ; 03Bxx ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 300 p.
ISBN 978-1-57586-030-5
Studies in logic, language and information
Localisation : Ouvrage RdC (DOHE)
logique # informatique # logique modale # logique mutli-valuée # logique du langage naturel # logique informatique # résolution de problème # intelligence artificielle # représentation des connaissances # sémantique
03-06 ; 03B45 ; 03B50 ; 03B65 ; 03B70 ; 68-06 ; 68T20 ; 68T30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 431 P.
Nouvelle encyclopedie philosophique
Localisation : Ouvrage RdC (SERV)
définition du hasard # définition du hasard mathématique # hasard et probabilité # hasard non mathématique # langage des sciences # science du hasard # théorie du choix
00A30 ; 01A05 ; 03B65 ; 60-XX ; 60A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 36 p.
Actualités scientifiques et industrielles , 0076
Localisation : Ouvrage RdC (CARN)
antinomie logique # branche de la logique # caractére tautologique de la logique # logique des relations # logique symbolique # mathématique # science unitaire # élimination de la métaphysique
03A05 ; 03A30 ; 03B65 ; 03Bxx ; 04A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 44 p.
Actualités scientifiques et industrielles , 0172
Localisation : Ouvrage RdC (CARN)
analyse logique du langage # pseudo-proposition métaphysique # signification d'un mot # terme metaphysique insensés
03A05 ; 03A30 ; 03B65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 329 p.
ISBN 978-2-7116-8262-1
Localisation : Biographie RdC (LESN)
biographie # histoire de la logique # langage # linguistique # philosophie # sémantique # école de Varsovie # Lesniewski # oeuvres complètes
00A30 ; 03-02 ; 03-05 ; 03B65 ; 03Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 412 p.
ISBN 978-963-05-3084-2
Localisation : Ouvrage RdC (RUZS)
logique classique # logique intensionnelle # logique modale
03B45 ; 03B65 ; 03Bxx
... Lire [+]