Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 450p.
ISBN 978-3-540-60045-9
Lecture notes in computer science , 0939
Localisation : Collection 1er étage
infoprmatique # vérification assistée par ordinateur # logique de programmation # langage formel # déduction # intelligence artificielle # algorithme de démonstration de théorème
00B25 ; 68-06 ; 68N17 ; 68N19 ; 68T15 ; 68Q60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 386p.
ISBN 978-3-540-56944-2
Lecture notes in artificial intelligence , 0698
Localisation : Colloque 1er étage (STPE)
informatique # logique de programmation # algorithme de démonstration de théorème # intelligence artificielle # raisonnement automatisé
00B25 ; 68-06 ; 68N17 ; 68T15 ; 68T27
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 435 p.
ISBN 978-3-540-54345-9
Lecture notes in computer science , 0520
Localisation : Collection 1er étage
algorithme non numérique # analyse des algorithmes # construction de langage # engineering de logiciel # informatique théorique # langage de programmation # langage de requête # langage formel # logique mathématique # problème de complexité # programmation logiciel # spécification # spécification de programme # structure de langage # technique de programmation # vérification de programme
68Mxx ; 68N05 ; 68N15 ; 68N17 ; 68Nxx ; 68Q20 ; 68Q60 ; 68Qxx ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 403 p.
ISBN 978-3-540-56287-0
Lecture notes in computer science , 0652
Localisation : Collection 1er étage
algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique
68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 517 p.
ISBN 978-3-540-63437-9
Lecture notes in computer science , 1295
Localisation : Collection 1er étage
informatique théorique # ingénering de logiciel # langage de programmation # langage formel # logique mathématique # mathématique discrète
68N15 ; 68N17 ; 68Nxx ; 68Q45 ; 68Qxx ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 316p.
ISBN 978-3-540-59155-9
Lecture notes in computer science , 0910
Localisation : Collection 1er étage
informatique # techniques de programmation par contraintes # intelligence artificielle # domaine de contraintes symboliques # Prolog
00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68N19
... 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.
- 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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Theoretical computer science , 0175
Localisation : Colloque 1er étage (KANA)
LOGSPACE # automate # calcul lambda # décidabilité # informatique théorique # intuition # langage delta # logique de programmation # logique non standard # système de réécriture # système déductif
03B22 ; 03B25 ; 03B45 ; 18-06 ; 18A15 ; 60-06 ; 68N17 ; 68N99
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 650p.
ISBN 978-3-540-60299-6
Lecture notes in computer science , 0976
Localisation : Collection 1er étage
informatique # logique de programmation par contraintes # problème de satisfaction de contraintes # algorithme pour des équations diophantiennes # calcul symbolique # intelligence artificielle
00B25 ; 68-06 ; 68N01 ; 68N17 ; 68W30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 287p.
ISBN 978-3-540-59479-6
Lecture notes in computer science , 0923
Localisation : Collection 1er étage
informatique théorique # techniques de programmation par contraintes # intelligence artificielle # système expert # stockage et récupération de l'information
00B25 ; 68-06 ; 68Q85 ; 68N17
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-3-540-13912-6
Lecture notes in computer science , 0182
Localisation : Collection 1er étage
algorithme # analyse des algorithmes # architecture des systèmes # circuit # informatique théorique # logique # logique formelle # logique mathématique # processeur # programmation logique # réseaux # traitement des données
68M10 ; 68M20 ; 68Mxx ; 68N17 ; 68N25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 463p.
ISBN 978-3-540-58485-8
Lecture notes in computer science , 0864
Localisation : Collection 1er étage
informatique # algorithme générique pour la méthode de point fix # technique de programmation par contraintes # optimisation # transformation # vérification # analyse de dépendance # domaine abstrait
00B25 ; 68-06 ; 68W40 ; 68N17 ; 68W10 ; 68Q85
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 359p.
ISBN 978-3-540-54659-7
Lecture notes in computer science , 0548
Localisation : Collection 1er étage
informatique # logique de programmation # algorithme de démonstrtion de problème # déduction # incertitude # logique modale # probabilités
00B25 ; 68-06 ; 68T15 ; 68N17 ; 68T37
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 329 p.
ISBN 978-3-540-61064-9
Lecture notes in computer science , 1059
Localisation : Collection 1er étage
algèbre # arborescence # automate fini # calcul informatique # calcul lambda # graphe # informatique théorique # mathématique discrète # renormalisation # réécriture de programme # structure des données # technique de programmation # transformation de programme
68N05 ; 68N17 ; 68Nxx ; 68P05 ; 68Rxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 457 p.
ISBN 978-3-540-55873-6
Lecture notes in computer science , 0632
Localisation : Collection 1er étage
arbre de définition # calcul orienté objet # démonstration de théorème # lambda calcul # langage de programmation # langage formel # logique des programmes # logique mathématique # programmation algébrique # programmation logique # programmation logique contrainte # programmation logique fonctionnelle # programme logique concurrent # réécriture de terme # si gnification des programmes # sémantique oracle pour Prolog
68-06 ; 68N15 ; 68N17 ; 68Q40 ; 68Q42
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 367p.
ISBN 978-3-540-58403-2
Lecture notes in computer science , 0845
Localisation : Collection 1er étage
informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique
00B25 ; 68-06 ; 68N17 ; 68W30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 468 p.
ISBN 978-3-540-13883-9
Lecture notes in computer science , 0181
Localisation : Collection 1er étage
algèbre de l'informatique # algorithme # algorithmique # circuit # information # informatique théorique # langage formelle # logiciel # logique mathématique # programmation # programmation logique # programme # système # traitement des données
68N17 ; 68Nxx ; 68Q45 ; 68Uxx ; 94Axx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 666 p.
ISBN 978-3-540-54396-1
Lecture notes in computer science , 0523
Localisation : Collection 1er étage
architecture des systèmes # architecture parallèle # calcul # informatique # langage de programmation # langage machine # parallélisme # programme fonctionnel
68M07 ; 68N05 ; 68N15 ; 68N17
... Lire [+]
