Langue:

Résultats 1 - 20 sur 49 pour PSL-Explore

trié par : trié par : PertinenceOr hit Enter to replace sort method

Résultats 1 2 3

Result Number	Material Type	Record Details and Options
1	Material Type: Chapitre de livre	Décidabilité et complexité de problèmes de réseaux de Petri Haddad, Serge In : Les réseaux de Petri. Modèles fondamentaux. Ed. by M. Diaz. Paris : Hermes, 2001, 386. ISBN : 2-7462-0250-6 2001 Accessible en ligne Ressource en ligne En savoir + Plus
2	Material Type: Thèse	Model theory of fields : decidability, and bounds for polynomial ideals Dries, Laurentius Petrus Dignus van den (1951-....) ; Dalen, Dirk van (1932-....) S.l. : S.n., 1978 Voir les exemplaires Où trouver le document ? En savoir + Demander Plus
3	Material Type: Versions multiples	Solvable cases of the decision problem Ackermann, Wilhelm, mathématicien (1896-1962) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 2 versions
4	Material Type: Versions multiples	Büchi's monadic second order successor arithmetic Siefkes, Dirk ; Müller, Gert Heinz (1923-....) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 3 versions
5	Material Type: Livre	ON SOME SETS OF COUNTABLE GRAPHS HAVING A DECIDABLE MONADIC SECOND-ORDER THEORY. S.L. : s.n., 1987 Voir les exemplaires Où trouver le document ? En savoir + Demander Plus
6	Material Type: Livre	MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLE S.L. : s.n., 1988 Voir les exemplaires Où trouver le document ? En savoir + Demander Plus
7	Material Type: Livre	DECIDABILITY AND EXPRESSIVENESS FOR FIRST-ORDER LOGICS OF PROBABILITY Abadi, Martín ; Halpern, Joseph Y. (1953-....) s.l. : s.n., 1991 Voir les exemplaires Où trouver le document ? En savoir + Demander Plus
8	Material Type: Versions multiples	Cinq conférences sur l'indécidabilité Bouleau, Nicolas (1945-....) ; Girard, Jean-Yves (1947-....) ; Louveau, Alain (1947-....) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 2 versions
9	Material Type: Livre	Word equations and related topics : IWWERT '90 ... proceedings International Workshop on Word Equations and Related Topics 001 Tübingen 1990. ; Schulz, Klaus U. Berlin New York NY Paris : Springer, 1992 Voir les exemplaires Où trouver le document ? En savoir + Demander Plus
10	Material Type: Livre	Les théorèmes d'incomplétude de Gödel Smullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....) Paris : Dunod, 2000 Disponible(Obtenir) Où trouver le document ? En savoir + Plus
11	Material Type: Versions multiples	Computability and logic. Boolos, George (1940-1996.) ; Jeffrey, Richard Carl (1926-....) ; Martin, Roger, provenance (1920-1979) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 4 versions
12	Material Type: Versions multiples	Decision problems for equational theories of relation algebras Andréka, Hajnal (1947-....) ; Givant, Steven R. ; Németi, István (1942-....) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 2 versions
13	Material Type: Livre	The Structure of decidable locally finite varieties. McKenzie, Ralph Nelson. ; Valeriote, Matthew. Boston MA Basel Berlin : Birkhäuser, 1989 Voir les exemplaires(Obtenir) Où trouver le document ? En savoir + Demander Plus
14	Material Type: Livre	The Deductive foundations of computer programming. Manna, Zohar (1939-....) ; Waldinger, Richard. Reading MA Don Mills Wokingham : Addison-Wesley, 1993 Voir les exemplaires(Obtenir) Où trouver le document ? En savoir + Demander Plus
15	Material Type: Thèse	A propos de systèmes d'équations récurrentes Saouter, Yannick Grenoble : ANRT diff., 1992 Voir les exemplaires(Obtenir) Où trouver le document ? En savoir + Demander Plus
16	Material Type: Livre	EQUATION (UNE) DIFFICILE. Delahaye, Jean-Paul (1952-....) s.l. : s.n., 1988 Voir les exemplaires et autres localisations(Obtenir) Où trouver le document ? En savoir + Demander Plus
17	Material Type: Versions multiples	Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul Lassaigne, Richard ; Rougemont, Michel de Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 2 versions
18	Material Type: Versions multiples	Introduction to the theory of computation Sipser, Michael (19..-....) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 3 versions
19	Material Type: Livre	Gödel's theorems : a workbook on formalization Huber-Dyson, Verena. Stuttgart : Teubner, 1991 Voir les exemplaires(Obtenir) Où trouver le document ? En savoir + Demander Plus
20	Material Type: Versions multiples	Fondements mathématiques de l'informatique. Stern, Jacques (1949-....) Plusieurs versions trouvées Pour voir, cliquer sur le titre ou sur le lien ci-dessous Il y a 2 versions

Résultats 1 - 20 sur 49 pour PSL-Explore

trié par : trié par : PertinenceOr hit Enter to replace sort method

Résultats 1 2 3

Résultats 1 - 20 sur 49 pour PSL-Explore

Haddad, Serge

2001

Model theory of fields : decidability, and bounds for polynomial ideals

Dries, Laurentius Petrus Dignus van den (1951-....) ; Dalen, Dirk van (1932-....)

S.l. : S.n., 1978

Ackermann, Wilhelm, mathématicien (1896-1962)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Siefkes, Dirk ; Müller, Gert Heinz (1923-....)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

ON SOME SETS OF COUNTABLE GRAPHS HAVING A DECIDABLE MONADIC SECOND-ORDER THEORY.

S.L. : s.n., 1987

MONADIC (THE) 2ND-ORDER LOGIC OF GRAPHS,IV : EVERY EQUATIONAL GRAPH IS DEFINABLE

S.L. : s.n., 1988

DECIDABILITY AND EXPRESSIVENESS FOR FIRST-ORDER LOGICS OF PROBABILITY

Abadi, Martín ; Halpern, Joseph Y. (1953-....)

s.l. : s.n., 1991

Bouleau, Nicolas (1945-....) ; Girard, Jean-Yves (1947-....) ; Louveau, Alain (1947-....)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Word equations and related topics : IWWERT '90 ... proceedings

International Workshop on Word Equations and Related Topics 001 Tübingen 1990. ; Schulz, Klaus U.

Berlin New York NY Paris : Springer, 1992

Les théorèmes d'incomplétude de Gödel

Smullyan, Raymond Merrill (1919-....) ; Margenstern, Maurice (19..-....)

Paris : Dunod, 2000

Boolos, George (1940-1996.) ; Jeffrey, Richard Carl (1926-....) ; Martin, Roger, provenance (1920-1979)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Andréka, Hajnal (1947-....) ; Givant, Steven R. ; Németi, István (1942-....)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

The Structure of decidable locally finite varieties.

McKenzie, Ralph Nelson. ; Valeriote, Matthew.

Boston MA Basel Berlin : Birkhäuser, 1989

The Deductive foundations of computer programming.

Manna, Zohar (1939-....) ; Waldinger, Richard.

Reading MA Don Mills Wokingham : Addison-Wesley, 1993

A propos de systèmes d'équations récurrentes

Saouter, Yannick

Grenoble : ANRT diff., 1992

EQUATION (UNE) DIFFICILE.

Delahaye, Jean-Paul (1952-....)

s.l. : s.n., 1988

Lassaigne, Richard ; Rougemont, Michel de

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Sipser, Michael (19..-....)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Gödel's theorems : a workbook on formalization

Huber-Dyson, Verena.

Stuttgart : Teubner, 1991

Stern, Jacques (1949-....)

Pour voir, cliquer sur le titre ou sur le lien ci-dessous

Résultats 1 - 20 sur 49 pour PSL-Explore

Personnaliser vos résultats

Refine Search Results

Élargir la recherche

N'afficher que

Affiner les résultats

Établissement

Type de ressource

Sujet

Auteur

Date de publication

Langue

Nouvelles recherches suggérées

Auteur, coauteur:

Sujet:

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