m

Documents  03B70 | enregistrements trouvés : 33

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.


ISBN 978-0-306-42599-8

Localisation : Colloque 1er étage (DRUZ)

biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

... Lire [+]

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

- 162 p.
ISBN 978-3-540-52734-3

Lecture notes in mathematics , 1429

Localisation : Collection 1er étage

informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

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

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.

- vii; 229 p.
ISBN 978-1-4704-2303-2

Contemporary mathematics , 0677

Localisation : Collection 1er étage

logique mathématique # algèbre # informatique

20-XX ; 68-XX ; 00B25 ; 20-06 ; 68-06 ; 03B70

... Lire [+]

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

Ecoles de recherche

Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will cover ranked and unranked tree automata, and its connections to Monadic Second Order logic, First Order logic, and XPath. The aim is to take a glimpse at the landscape of closure properties, algorithms and expressiveness results for these formalisms. Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will ...

68P15 ; 03B70

... Lire [+]

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

Ecoles de recherche

Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will cover ranked and unranked tree automata, and its connections to Monadic Second Order logic, First Order logic, and XPath. The aim is to take a glimpse at the landscape of closure properties, algorithms and expressiveness results for these formalisms. Semistructured data is an umbrella term encompassing data models which are not logically organized in tables (i.e., the relational data model) but rather in hierarchical structures using markers such as tags to separate semantic elements and data fields in a ‘self-describing’ way. In this lecture we survey some of the multiple connections between formal language theory and semi-structured data, in particular concerning the XML format. We will ...

68P15 ; 03B70

... Lire [+]

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

Ecoles de recherche

68Q19 ; 03B70 ; 68P15

... Lire [+]

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

Ecoles de recherche

03B70 ; 68P15 ; 68Q19

... Lire [+]

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

- 208 p.
ISBN 978-3-540-11205-1

Lecture notes in computer science , 0129

Localisation : Collection 1er étage

logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme

03B45 ; 03B70 ; 03Cxx ; 68Q10 ; 68Q60

... Lire [+]

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

- xv; 322 p.
ISBN 978-0-691-16044-3

Localisation : Ouvrage RdC (LOVE)

théorie de la démonstration # théorie de la calculabilité # logique philosophique

03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03

... Lire [+]

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

- 301 p.
ISBN 978-3-540-56254-2

EATCS monographs on theoretical computer science

Localisation : Ouvrage RdC (SCHM)

algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

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

- 179 p.
ISBN 978-1-881526-83-4

Csli lecture notes , 0073

Localisation : Ouvrage RdC (BREW)

intelligence artificielle # logique de programmation # logique non classique

03B60 ; 03B70 ; 68T27

... Lire [+]

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

- 243 p.
ISBN 978-3-540-62482-0

Lecture notes in artificial intelligence , 1187

Localisation : Ouvrage RdC (SCHL)

raisonnement logique # intelligence artificielle # logique informatique

03B60 ; 03B70 ; 68T27

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

- 303 p.
ISBN 978-2-10-004446-7

Localisation : Enseignement RdC (DEHO)

mathématique de l'informatique # informatique # enseignement # exercice # arbre # langage # monoïde # groupe libre # automate # grammaire formelle # arbre de dérivation machine de Turing # fonction récursive # complexité algorithmique # logique de Boole # logique booléenne # logique # langage algébrique

68-01 ; 03B70 ; 03B10 ; 03G05 ; 68Q30 ; 68Q45 ; 68Q55

... Lire [+]

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

- 232 p.
ISBN 978-2-225-81967-4

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUDU)

algorithme parallèle # logique modale # logique temporelle # parallèle # programme parallèle # programme séquentiel # système distribué # sémantique # validation de programmes # vérification de programme

03B45 ; 03B70 ; 68Q55 ; 68Q60

... Lire [+]

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

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

Z