m

F Nous contacter

0

Documents  03Bxx | enregistrements trouvés : 98

O

-A +A

P Q

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

- xvii-705 p.
ISBN 978-981-4401-52-4

World scientific proceedings series on computer engineering and information science , 5

Localisation : Colloque 1er étage (XIAN)

logique # logique floue # programmation # intelligence artificielle

03-06 ; 03Bxx ; 03B70 ; 03E72 ; 68Qxx ; 00B25

... Lire [+]

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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

- 541 p.
ISBN 978-3-540-60017-6

Lecture notes in computer science , 0933

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Bxx ; 68Q05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

Localisation : Colloque 1er étage (IASI)

algorithme # analyse numérique # informatique # logique mathématique # multimédia # polymère # # réseau neuronal # théorie de l'approximation

03Bxx ; 65Dxx ; 65Lxx ; 92B20 ; 92Exx

... Lire [+]

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

- 389 p.
ISBN 978-0-521-55961-4

London mathematical society lecture note series , 0222

Localisation : Collection 1er étage

algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...

03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05

... Lire [+]

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

Localisation : Colloque 1er étage (MARS)

algorithme pour tableau pour calcul propositionnel intuition # circonscription et modèles minimaux pour logique proportionn # méthode de recherche de la preuve en logique linéaire # preuve de théorème # preuve de théorème par élimination de modèles # tableau analytique # tableau pour logique modale propositionnelle de non-monotoni # tableaux clausaux avec liens et lemmes # élagage de l'espace de recherche en faisant échec à la crois

03-06 ; 03Bxx ; 03Fxx

... Lire [+]

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

- 360 p.
ISBN 978-0-8218-5027-5

Contemporary mathematics , 0029

Localisation : Collection 1er étage

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

... Lire [+]

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


ISBN 978-0-444-88543-2

Colloquia mathematica societatis janos bolyai , 0054

Localisation : Colloque 1er étage (BUDA)

algebre cylindrique # logique algebrique # logique du premier ordre # logique module

03-06 ; 03Bxx

... Lire [+]

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


ISBN 978-3-540-51527-2

Lecture notes in mathematics , 1388

Localisation : Collection 1er étage

logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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

- 166 p.
ISBN 978-2-7606-0770-5

Seminaire de mathematiques superieures , 0099

Localisation : Salle de manutention

algebre universelle # logique # theorie des classes

03Bxx ; 08A40 ; 08Axx

... Lire [+]

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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


ISBN 978-951-95054-8-0

Acta philosophica fennica , 0035

Localisation : Colloque 1er étage (MOSC)

03-06 ; 03Bxx ; 03Cxx

... Lire [+]

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

- 418 p.
ISBN 978-3-540-15673-4

Lecture notes in mathematics , 1141

Localisation : Collection 1er étage

03Bxx ; 03Exx

... Lire [+]

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

- 407 p.
ISBN 978-0-387-15236-3

Lecture notes in mathematics , 1130

Localisation : Collection 1er étage

03-06 ; 03Bxx ; 03Dxx ; 03Exx

... Lire [+]

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


ISBN 978-0-8218-1312-6

Proceedings of symposia in applied mathematics , 0012

Localisation : Collection 1er étage

03A05 ; 03Bxx

... Lire [+]

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

- 516 p.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BUFF)

logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand

03-06 ; 03Bxx ; 03Fxx ; 00B25

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LOND)

analyse non-standard # axiomatique d'Euclide # dagme de Frege # dialectique grecque # fondement des mathématiques # formalisation du second ordre # logique et heuristique # mathématique post-godelienne et philosophie # mode platonicien de parole # métaphysique du calcul # philosophie des mathématiques # preuve d'indépendance de Cohen # preuve de complétude # rigueur informe # théorie des ensembles

03A05 ; 03B48 ; 03Bxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (HANN)

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

... Lire [+]

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

- 112 p.

Actualités scientifiques et industrielles , 1163

Localisation : Ouvrage RdC (POIR)

logique # modalité # physique théorique

03Bxx

... Lire [+]

Z