skip to main content
Résultats 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse
Ajouter à Mon espace

ONTIC : a knowledge representation system for mathematics

Cambridge MA : MIT, 1987

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

Using the theorem prover SETHEO for verifying the development of a communication protocol in FOCUS : a case study

Schumann, Johann M. (1960-....)

München DEU : Technische Universität München, 1994

Voir les exemplaires

3
Material Type:
Thèse
Ajouter à Mon espace

Symbolic methods for exploring infinite state spaces

Liège BEL : s.n., 1998

Voir les exemplaires

4
Material Type:
Thèse
Ajouter à Mon espace

Vérification, analyse et approximations symboliques des automates communicants

Cachan : Ecole normale supérieure de Cachan, 1998

Voir les exemplaires

5
Material Type:
Thèse
Ajouter à Mon espace

Formal multilevel hierarchical verification of synchronous MOS VLSI circuits

Cambridge MA : MIT, 1986

Voir les exemplaires

6
Material Type:
Thèse
Ajouter à Mon espace

Démonstration automatique: réfutation par superposition de clauses équationnelles

Paris : Université Paris VI Pierre & Marie-Curie, 1982

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

Cooperative parallel automated theorem proving

Munich DEU : Technische Universität München, 1997

Voir les exemplaires

8
Material Type:
Livre
Ajouter à Mon espace

Compiling and verifying security protocols : tmeme 2, Génie logiciel et calcul symbolique, projet Protheo

Rocquencourt : INRIA, 2000

Voir les exemplaires

9
Material Type:
Livre
Ajouter à Mon espace

An experiment in parallelizing an application using formal methods : computer aided parallelisation

Berlin Heidelberg : Springer, 1998

Voir les exemplaires

10
Formal methods in software practice : proceedings
Material Type:
Livre
Ajouter à Mon espace

Formal methods in software practice : proceedings

Workshop on Formal Methods in Software Practice Workshop on Formal Methods in Software Practice 3 Portland, OR US 2000 ; Heimdahl, Mats P.E. ; ACM Special Interest Group on Software Engineering

New York : ACM, 2000

Voir les exemplaires

11
Material Type:
Livre
Ajouter à Mon espace

SET (A) OF INFERENCE RULES FOR QUANTTIFIED FORMULA HANDLING AND ARRAY HANDLING IN VERIFICATION OF PROGAMS OVER INTEGERS.

New York : IEEE, 1989

Voir les exemplaires

12
Material Type:
Thèse
Ajouter à Mon espace

Validation des transactions dans les bases de données : classes décidables et vérification automatique

Magnier, Nicolas ; Courcelle, Bruno

S.l. : s.n., 1998

Voir les exemplaires

13
DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS.
Material Type:
Thèse
Ajouter à Mon espace

DEMONSTRATION AUTOMATIQUE DANS LE CALCUL DES CONSTRUCTIONS.

ROCQUENCOURT : INRIA, 1991

Voir les exemplaires

14
Conception d'un langage de haut niveau de représentation de preuves : récurrence par filtrage de motifs, unification en présence de types inductifs primitifs, synthèse de lemmes d'inversion
Material Type:
Thèse
Ajouter à Mon espace

Conception d'un langage de haut niveau de représentation de preuves : récurrence par filtrage de motifs, unification en présence de types inductifs primitifs, synthèse de lemmes d'inversion

Paris : Université Paris VII, 1997

Voir les exemplaires

15
Material Type:
Livre
Ajouter à Mon espace

Computing abstractions of infinite state systems compositionally and automatically

Berlin Heidelberg : Springer, 1998

Voir les exemplaires

16
Material Type:
Autre
Ajouter à Mon espace

Analyzing automata with presburger arithmetic and uninterpreted function symbols

Rusu, Vlad ; Institut de recherche en informatique et systèmes aléatoires Rennes

Rennes : Institut de Recherche en Informatique et Systèmes Aléatoires, 2001

Voir les exemplaires

17
Un calcul de substitution pour la représentation de preuves partielles en théorie de types
Material Type:
Thèse
Ajouter à Mon espace

Un calcul de substitution pour la représentation de preuves partielles en théorie de types

Paris : Université Paris VII, 1997

Voir les exemplaires

18
Material Type:
Thèse
Ajouter à Mon espace

Sur la vérification de systèmes infinis

Grenoble : Université Joseph Fourier, 1998

Voir les exemplaires

19
Material Type:
Thèse
Ajouter à Mon espace

Formalisation de la théorie intuitionniste des types: contribution à l'étude de la démonstration en programmation

Paris : UNIV.PARIS 06 INST.PROGR., 1985

Voir les exemplaires

20
Material Type:
Thèse
Ajouter à Mon espace

Résolution d'équations dans les langages d'ordre 1,2,..omega.

Paris : Université Paris VII, 1976

Voir les exemplaires

Résultats 1 2 3 4 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (2)

Affiner les résultats

Type de ressource 

  1. Autres  (1)
  2. Livres  (43)
  3. Thèses  (17)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1988  (7)
  2. 1988 à 1992  (8)
  3. 1993 à 1998  (17)
  4. 1999 à 2004  (23)
  5. Après 2004  (6)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré