m

F Nous contacter

0

Documents  03B65 | enregistrements trouvés : 20

O
     

-A +A

P Q

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.

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.


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.

- 381 p.
ISBN 978-0-521-60857-2

London mathematical society lecture note series , 0316

Localisation : Collection 1er étage

théorie de la démonstration # logique linéaire # calcul lambda # théorie des catégories # programmation logique # système distribué # linguistique # logique et mécanique quantique

03B20 ; 03B35 ; 03B40 ; 03B47 ; 03B65 ; 03B70 ; 03F03 ; 03F05 ; 03F07 ; 03F52 ; 03G30 ; 18C50 ; 68Q05 ; 68Q10 ; 68Q55 ; 68T50 ; 81P10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 143 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ANDR)

logique mathématique

03B20 ; 03B25 ; 03B65 ; 03Cxx ; 03Dxx

... Lire [+]

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.

- 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.

- 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.

- 412 p.
ISBN 978-963-05-3084-2

Localisation : Ouvrage RdC (RUZS)

logique classique # logique intensionnelle # logique modale

03B45 ; 03B65 ; 03Bxx

... 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.

- 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.

- 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.

- xvii-369 p.
ISBN 978-1-84816-456-7

Localisation : Ouvrage RdC (LECOMTE)

logique # langage # linguistique # traitement du langage naturel # sémantique # logique linéaire # grammaire

68T50 ; 68-02 ; 68Q55 ; 03B70 ; 06B35 ; 03B47 ; 03B65 ; 03B99

... 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.

- 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.

- 273 p.
ISBN 978-0-442-23109-5

Localisation : Ouvrage RdC (WANG)

logique mathématiques # logique symbolique

03B15 ; 03B30 ; 03B65 ; 68A40 ; 03-XX

... 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.

- 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 [+]

Z