En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68N17 52 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Stacs 85 :
2nd annual symposium on theoretical aspects of computer science held in saarbrucken#Jan. 3-5 Mehlhorn, K. | Springer-Verlag 1985

Congrès

- 374 p.
Cote : 00013908
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic and logic programming :
3rd international conference#2-4 Kirchner, H. ; Levi, G. | Springer-Verlag 1992

Congrès

- 457 p.
Cote : 00015260
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations of software technology and theorical computer science#Dec. 18-20 Shyamasundar, R. | Springer-Verlag 1992

Congrès

- 403 p.
Cote : 00016115
algorithme # complexité # géométrie de l'informatique # logiciel # logique # programmation logique # spécification # sémantique

68N17 ; 68Q15 ; 68Q25 ; 68Q55 ; 68R10

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique et complexité Lassaigne, Richard ; De Rougemont, Michel | Hermes 1996

Ouvrage

- 322 p.
Cote : 00019725
approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

03C40 ; 03D15 ; 03D70 ; 68N17 ; 68Q10

Localisation : Ouvrage RdC (LASS)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic for applications Nerode, Anil ; Shore, Richard A. | Springer 1997

Ouvrage

- 456 p.
Cote : 00021456
application # informatique théorique # logique des prédicats # logique intuitive # logique mathématique # logique modale # logique symbolique # prologue # élément de théorie d'ensemble

03B45 ; 68N17 ; 68Q40 ; 68T27 ; 68T30

Localisation : Ouvrage RdC (NERO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Principles and practice of constraint programming:
second international workshop, PPCP'94#May2-4 Borning, Alan | Springer-Verlag 1994

Congrès

- 360p.
Cote : 00029976
informatique # technique de programmation par contraintes # intelligence artificielle # base de données # interface utilisateur

00B25 ; 68-06 ; 68Q85 ; 68N17 ; 68Txx ; 68P15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic of programs :
workshop was held in eth zurich#May - July Engeler, Erwin | Springer-Verlag 1981

Congrès

- 245 p.
Cote : 00013866
algorithmique # grammaire # langage # logique # sémantique # syntaxe

68N17

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

An introduction to the pl/cv2 programming logic Constable, R. L. ; Johnson, D. S. ; Eichenlaub , C. D. | Springer-Verlag 1982

Ouvrage

- 292 p.
Cote : 00013870
pl/cv2 # programmation logique

68N17

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations of software technology and theoretical computer science :
fourth conference on... was held in bangalore#Dec. 13-15 Joseph, Mathai ; Shyamasundar, Rudrapatna | Springer-Verlag 1984

Congrès

- 468 p.
Cote : 00013907
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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal methods and software development. Vol. 2 :
proceedings of the international joint conference on...#March 25-29 Ehrig, Hartmut ; Floyd, Christiane ; Nivat, Maurice ; Thatcher, James | Springer-Verlag 1985

Congrès

- 455 p.
Cote : 00013909
logiciel # logique # progammation logique # programmation # programme

68N05 ; 68N17

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue