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 03B70 30 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions Bertot, Yves ; Castéran, Pierre ; Huet, Gérard ; Paulin-Mohring, Christine | Springer 2010

Ouvrage

- xxv; 469 p.
Call n° : 00041682
Coq # vérification de programme # assistant de preuve # démonstration automatique

68T15 ; 03B15 ; 03B35 ; 03B70 ; 68N18 ; 68Q60 ; 68-01

Location : Ouvrage RdC (BERT)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical logic and its applications
proceedings of and advanced international summer school and conference on ...,in honor of the 80th anniv. of kurt goldel Skordev, Dimiter G. | Plenum Press 1987

Congrès


Call n° : 00011890
biographie # calcul lambda # logique # logique classique # logique de programmation # logique symbolique # progammation # programmation logique

03B40 ; 03B70 ; 03Exx ; 60Q40

Location : Colloque 1er étage (DRUZ)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic computer science :
lectures given at the first session of the centro internazionale matematico estivo c.i.m.e. held at montecatini terme#June 20-28 Homer, S. ; Nerode, A. ; Platek, R. A. ; Sacks, G. E. ; Scedrov, A. | Springer-Verlag 1990

Congrès

- 162 p.
Call n° : 00013989
informatique # logique # théorie de la recursion

03B20 ; 03B40 ; 03B70 ; 03D15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Algebraic methods in logic and in computer science Rauszer, Cecylia | Institute Of Mathematics ; Instytut Matematyczny 1993

Ouvrage


Call n° : 00015686
informatique théorique # logique de la programmation

03B70 ; 68Qxx

Location : Salle des périodiques 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique temporelle
sémantique et validation de programmes parallèles Audureau, Eric ; Enjalbert, Patrice ; Farinas del Cerro , Luis ; Engeler, Erwin | Masson 1990

Ouvrage

- 232 p.
Call n° : 00016445
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

Location : Ouvrage RdC (AUDU)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Langage Pascal et logique du premier ordre Tome 1 :
programmation en Pascal-prédicats-systèmes formels-fonctions récursives Margenstern, Maurice | Masson 1989

Ouvrage

- 287 p.
Call n° : 00017469
Pascal # calcul des prédicats # complexité de programme # fonction récursive # formalisation # langage de programmation # langage standard # logique de la programmation # preuve et vérification de programme # programmation déclarative # récursivité

03B10 ; 03B70 ; 03Dxx ; 68N15 ; 68N17

Location : Ouvrage RdC (MARG)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Relations and graphs :
discrete mathematics for computer scientists Schmidt, Gunther ; Ströhlein, Thomas | Springer-Verlag 1993

Ouvrage

- 301 p.
Call n° : 00021536
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

Location : Ouvrage RdC (SCHM)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Information flow
the logic of distributed systems Barwise, Jon ; Seligman, Jerry | Cambridge University Press 1997

Ouvrage

- 273 p.
Call n° : 00021758
apprentissage et système adaptatif # informatique théorie # langage naturel # linguistique # logique # logique algébrique # logique de programmation # logique non classique # logique quantique # philosophie # système distribué # théorie du calcul informatique # traitement de l'information # traitement des données électroniques

03-02 ; 03A05 ; 03B60 ; 03B65 ; 03B70

Location : Ouvrage RdC (BARW)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Nonmonotonic reasoning :
An overview Brewka, Gerhard ; Dix, Jürgen ; Konolige , Kurt | Center for the Study of Language and Information 1997

Ouvrage

- 179 p.
Call n° : 00022678
intelligence artificielle # logique de programmation # logique non classique

03B60 ; 03B70 ; 68T27

Location : Ouvrage RdC (BREW)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computation as logic Lalement, René ; Plaice, John | Prentice Hall ; Masson 1993

Ouvrage

- 377 p.
Call n° : 00024290
logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique

68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42

Location : Ouvrage RdC (LALE)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language