1. Elements de logique mathematique
Author: / G. Kreisel, J. L. Krivine
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic, Symbolic and mathematical,Mathematical models
Classification :
QA
9
.
K77
1967
2. Elements de logique mathematique; theorie des modeles
Author: / G. kreisel, J. L. Krivine
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Mathematical modelser
Classification :
511
.
3
K92
3. Fiscal and monetary problems in developing states;proceedings of the third rehouoth conference
پدیدآورنده : edited by David Krivine
موضوع : Developing countries- Economic conditions congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Introduction to axiomatic set theory /
Author: Jean-Louis Krivine; translated from the French by David Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
5. La physique statistique en exercices
Author: Hubert Krivine & Jacques Treiner ; préf. d'Édouard Brézin de l'Académie des sciences.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Physique statistique -- Problèmes et exercices.,Physique statistique.
Classification :
QC174
.
8
H834
2008
6. Lambda-calcul : types et modeles
Author: Krivine, Jean Louis
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus
Classification :
QA
9
.
5
.
K74L2
7. Les chemins de la revolution: debat
Author: Albain Krivine, Fred Zeller; presente et anime par Thierry Pfister
Library: State Department Library (Tehran)
Subject: Socialism - France,France - Politics and government - 1945-,France - Social conditions - 1945-
8. Reversible Computation
Author: / Bernard Stefani-Jean Krivine, Jean
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
9. Reversible Computation
Author: \ Jean Krivine , Jean-Bernard Stefani (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Quantum computing,Reversible computing -- Congresses.,Computer logic -- Congresses.,منطق کامپیوتری -- کنگره ها
Classification :
QA
76
.
889
.
R4
2015
E-Book
,
10. Second Generation Expert Systems
Author: edited by Jean-Marc David, Jean-Paul Krivine, Reid Simmons.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
76
.
E95
E358
1993
11. The chosen and the choice
Author: Jean-Jacques Servan-Schreiber with David Krivine
Library: State Department Library (Tehran)
Subject: Jewish-Arab relations - 1973-,Peres, Shimon, 1923- - Interviews,Servan-Schreiber, Jean Jacques - Journeys - Israel,Israel - Politics and government,Israel - Description and travel
12. The chosen and the choice
Author: Jean-Jacques Servan-Schreiber with David Krivine.,Servan-Schreiber, J.-J.
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Peres, Shimon,,Servan-Schreiber, J.-J.,1923-2016,1924-2006,(Jean-Jacques),,Interviews.,Travel,Israel.,Arab-Israeli conflict,1973-1993.,Israel,Israel,Politics and government.,Description and travel., 0, 0
Classification :
DS119
.
7
.
S38175
1988
13. Theorie axiomatique des ensembles.
Author: Krivine
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Axeiomatic set theory.
Classification :
QA
248
.
K7
14. Theorie axiomatique des ensembles ..
Author: Krivine, J. L.)Jean Louis(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Axiomatic set theory
Classification :
QA
248
.
K7
1972
15. Théorie des ensembles
Author: Jean-Louis Krivine.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ensembles, Théorie axiomatique des.,Ensembles, Théorie des.,Forcing.
Classification :
QA248
.
J436
1998
