yr 〜
yr

Search results 17

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)

Reversible computation : 7th international conference, RC 2015 : Grenoble, France, July 16-17, 2015 : proceedings : RC events : Jul 2015, Grenoble, France. (Lecture Notes in Computer Science ; 9138)
Paper図書
Springer[2015]<M17-16-396>
National Diet Library
  • Author Heading...noble, France) Krivine, Jean. Stefani, Jean-Bernard. Instit...

Interactive models of computation and program behavior

Interactive models of computation and program behavior
Paper図書
Pierre-Louis Curien ... [et al.]Société mathématique de France2009
Other Libraries in Japan

Lambda-calculus, types and models

Lambda-calculus, types and models
Paper図書
J.L. Krivine ; translated by René CoriEllis Horwoodc1993
Other Libraries in Japan

Lambda-calcul : types et modèles

Lambda-calcul : types et modèles
Paper図書
Jean-Louis KrivineMasson1990
Other Libraries in Japan

Calcul propositionnel, alge︡bres de boole, calcul des prédicats :pbk

Calcul propositionnel, alge︡bres de boole, calcul des prédicats :pbk
Paper図書
René Cori, Daniel Lascar ; préface de J.-L. KrivineMassonc1993
Other Libraries in Japan

Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les :pbk

Founctions récursives, théore︡me de Gödel, théorie des ensembles, théorie des mode︡les :pbk
Paper図書
René Cori, Daniel Lascar ; préface de J.-L. KrivineMassonc1993
Other Libraries in Japan

Second generation expert systems : gw : us

Second generation expert systems : gw : us
Paper図書
Jean-Marc David, Jean-Paul Krivine, Reid Simmons, editorsSpringer-Verlagc1993
Other Libraries in Japan

Séminaire de géométrie des espaces de Banach : Paris VII - (1983)

Séminaire de géométrie des espaces de Banach : Paris VII - (1983)
Paper図書
Bernard Beauzamy, Jean-Louis Krivine, Bernard MaureyU.E.R. de Mathematiques & L. A. 212 du C.N.R.S.[1984]
Other Libraries in Japan

Séminaire de géométrie des espaces de Banach : Paris VII - (1982)

Séminaire de géométrie des espaces de Banach : Paris VII - (1982)
Paper図書
Bernard Beauzamy, Jean-Louis Krivine, Bernard MaureyU.E.R. de Mathematiques & L. A. 212 du C.N.R.S.[1983]
Other Libraries in Japan

Sous-espaces de L1 : 2ème version

Sous-espaces de L1 : 2ème version
Paper図書
D. Dacunha-Castelle et J.L. KrivineUniversité Paris XI, U.E.R. mathématique1975
Other Libraries in Japan

Théorie axiomatique des ensembles 2e éd. rev. et augm

Théorie axiomatique des ensembles 2e éd. rev. et augm
Paper図書
par Jean-Louis KrivinePresses universitaires de France1972
Other Libraries in Japan

Elements of mathematical logic : (model theory)

Elements of mathematical logic : (model theory)
Paper図書
G. Kreisel & J.L. KrivineNorth-Holland Publishing Company1971
Other Libraries in Japan

Introduction to axiomatic set theory

Introduction to axiomatic set theory
Paper図書
Jean-Louis Krivine ; [translated from the French by David Miller]Reidelc1971
Other Libraries in Japan

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie :gw :us

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie :gw :us
Paper図書
G. Kreisel, J.-L. Krivine ; aus dem Französischen übersetzt von J. JungSpringer-Verlag1972
Other Libraries in Japan

Éléments de logique mathématique : théorie des modèles

Éléments de logique mathématique : théorie des modèles
Paper図書
G. Kreisel, J. L. KrivineDunod1967
Other Libraries in Japan

Elements of mathematical logic : (Model theory)

Elements of mathematical logic : (Model theory)
Paper図書
G. Kreisel and J. L. KrivineNorth Holland Pub. Co.1967
Other Libraries in Japan

Axiomes : Collection de logique mathématique coordonée

Axiomes : Collection de logique mathématique coordonée
Paper図書
par J.-L. KrivineMasson
Other Libraries in Japan

Reached to the end of result.