m

Documents  F.4.1 | enregistrements trouvés : 38

O

-A +A

P Q

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

- 708 p.
ISBN 978-3-540-16780-8

Lecture notes in computer science , 0230

Localisation : Collection 1er étage

déduction et preuve de théorème # grammaire et autres systèmes de reécriture # logique mathématique # specification # vérification et raisonnement sur les programmes

68Q60 ; 68T15

... Lire [+]

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

- 400 p.
ISBN 978-3-540-16486-9

Lecture notes in computer science , 0223

Localisation : Collection 1er étage

algorithme # complexité # logique

68Q30

... Lire [+]

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

- 256 p.
ISBN 978-3-540-55124-9

Lecture notes in computer science , 0572

Localisation : Collection 1er étage

algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve

68P05 ; 68Q45 ; 68Q50 ; 68Q55

... Lire [+]

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

- 504 p.
ISBN 978-3-540-56393-8

Lecture notes in computer science , 0656

Localisation : Collection 1er étage

contrainte # formalisme # graphes # langage # modularité # programmation logique # réécriture conditionnelle # réécriture des systèmes # stratégie de normalisation # systèmes # technique de preuve # terme de réécriture # terminaison # théorème de la preuve # unification #

68Mxx ; 68Nxx

... Lire [+]

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

- 351 p.
ISBN 978-3-540-56282-5

Lecture notes in computer science , 649

Localisation : Collection 1er étage

méta-programmation # programmation logique # programmation transformationnelle

68N15 ; 68N17 ; 68Nxx ; F.4.1 ; I.2.4

... Lire [+]

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

- 495 p.
ISBN 978-3-540-61814-0

Lecture notes in computer science , 1154

Localisation : Collection 1er étage

accessibilité des données # base de données déductive # déduction # gestion de système d'informatique # informatique théorique # intelligence artificielle # langage formel # logique # logique mathématique # stockage de l'information # sémantique # théorie de la preuve # traitement des données

68-15 ; 68P05 ; 68P20 ; 68Pxx

... Lire [+]

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

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

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

- 433 p.
ISBN 978-3-540-54444-9

Lecture notes in computer science , 0528

Localisation : Collection 1er étage

algorithmique # implementation de langage # langage de programmation # logique # progammation # progammation logique # programmation oriente objet

... Lire [+]

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

- 514 p.
ISBN 978-3-540-60178-4

Lecture notes in computer science , 0960

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

03Cxx ; 03Fxx

... Lire [+]

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

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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


ISBN 978-0-521-41300-8

Localisation : Colloque 1er étage (SOPH)

algorithme # calcul # implémentation # logique de l'informatique # logique de programmation # logique intuitive # preuve # structure logique # système formel

68N17

... Lire [+]

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


ISBN 978-3-540-66672-1

Lecture notes in artificial intelligence , 1669

Localisation : Colloque 1er étage (BEIJ)

algèbre # déduction # déduction automatisée en géométrie # démonstration automatique de théorème # informatique # intelligence artificielle # logique # opération logique

03-06 ; 03B35 ; 68-06 ; 68T15

... Lire [+]

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

- 545p.
ISBN 978-3-540-58241-0

Lecture notes in artificial intelligence , 0827

Localisation : Colloque 1er étage (BONN)

ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # logique de processus en temps réel # logique de transaction # logique temporelle des objets # mise à jour de base de données # ordre partiel # pointeur de référence # preuve d'équivalence globale # procédure de décision # programmation en logique modale # raisonnement modulaire # raisonnement temporel # raisonneur # représentation de connaissance # réseau de Pétri avec temps # système de planification temporelle # tableau de logique temporelle # temps de branchement # temps entier # vérification de modèle ISTL # METATEM concurrent # axiomatisation de U et S # calcul d'événement abductif # combinaison de technique de spécification temporelle # complétude par platitude # déduction automatisée # ensemble d'intercalation # granularité du temps # graphe # interprétation d'adverbe # langage de questionnement de base de donnée temporelle # logique d'intervalle futur du premier ordre # logique d'intervalle graphique # logique de croyance temporelle # ...

68-06 ; 68Pxx ; 68Qxx ; 68Rxx ; 68Txx

... Lire [+]

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

- 245 p.
ISBN 978-3-540-11160-3

Lecture notes in computer science , 0125

Localisation : Collection 1er étage

algorithmique # grammaire # langage # logique # sémantique # syntaxe

68N17

... Lire [+]

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

- 336 p.
ISBN 978-3-540-17611-4

Lecture notes in computer science , 0250

Localisation : Collection 1er étage

algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog

68N17 ; 68Nxx

... Lire [+]

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

- 551 p.
ISBN 978-3-540-55270-3

Lecture notes in computer science , 0580

Localisation : Collection 1er étage

application # information théorique # intelligence artificielle # interface # langage construit # logique mathématique # représentation formelle des connaissances # stockage et représentation des données # système multimédia # systèmes experts # traitement des données

68Mxx ; 68P20 ; 68Pxx ; 68T30 ; 68Txx

... Lire [+]

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

- 112 p.
ISBN 978-90-6196-176-5

Mathematical centre tracts , 0108

Localisation : Collection 1er étage

automatique # complexité # informatique théorique # langage formel # langage naturel # processus

68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX

... Lire [+]

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

- 164 p.
ISBN 978-90-6196-177-2

Mathematical centre tracts , 0109

Localisation : Collection 1er étage

analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

... Lire [+]

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

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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

- 195 p.
ISBN 978-3-540-55038-9

Lecture notes in computer science , 0569

Localisation : Collection 1er étage

parallèle # programmation logique # prolog

68M15 ; 68Q10

... Lire [+]

Z