skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :

Résultats 21 - 30 sur 34  pour Tout le catalogue

previous page 1 2 résultats 3 4 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
21
Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California
Material Type:
Livre
Ajouter au Panier

Tenth Annual IEEE symposium on logic in computer science : proceedings, June 26-29, 1995, San Diego, California

Kozen, Dexter C (1951-...) (Ed.) ; IEEE computer society. Technical committee on mathematical foundations of computing (Ed.)

Los Alamitos, Calif.. Washington. Brussels [etc.]. IEEE Computer Society Press, cop. 1995

Indisponible     (->>)

22
ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Material Type:
Livre
Ajouter au Panier

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Oberschelp, Arnold (Ed.) ; Potthoff, Karl (Ed.) ; Institut für Mathematische Logik und Grundlagenforschung (Münster, Allemagne) (Ed.)

Appartient à la collection : Lecture notes in mathematics, 499, ISSN 0075-8434

Berlin. Heidelberg. New York (N. Y.). Springer, cop. 1975

Indisponible     (->>)

23
[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings
Material Type:
Livre
Ajouter au Panier

[Ninth annual IEEE] Symposium on Logic in Computer Science : LICS '94, CNAM, Paris, France, July 4-7, 1994 proceedings

IEEE computer society. Technical committee on mathematical foundations of computing (Ed.) ; Institut national de recherche en informatique et en automatique (France) (Ed.)

Los Alamitos (Calif.). IEEE Computer Society Press, cop. 1994

Indisponible     (->>)

24
Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77
Material Type:
Livre
Ajouter au Panier

Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77

Kechris, Alexander Sotirios (1946-...) (Ed.) ; Moschovakis, Yiannis N (Ed.)

Appartient à la collection : Lecture notes in mathematics, 689, ISSN 0075-8434

Berlin [etc.]. Springer-Verlag, 1978, cop. 1978

Indisponible     (->>)

25
Proof and computation
Material Type:
Livre
Ajouter au Panier

Proof and computation

Schwichtenberg, Helmut (Ed.) ; Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Ed.)

Appartient à la collection : NATO ASI series. Series F : Computer and system sciences, 139, ISSN 0258-1248

Berlin. New York. Springer, c1995

Indisponible     (->>)

26
Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
Material Type:
Livre
Ajouter au Panier

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985

Simpson, Stephen Gershom (1894-...) (Ed.) ; American mathematical society (Ed.) ; Institut de statistiques mathématiques (Ed.) ; Society for industrial and applied mathematics (Etats-Unis) (Ed.)

Appartient à la collection : Contemporary mathematics - American Mathematical Society (Print), 65, ISSN 0271-4132

Providence (R.I.). American Mathematical Society, copyright 1987

Indisponible     (->>)

27
Logic, foundations of mathematics, and computability theory : Part one of the proceedings of the fifth international congress of logic, methodology and philosophy of science London, Ontario, Canada, 1975
Material Type:
Livre
Ajouter au Panier

Logic, foundations of mathematics, and computability theory : Part one of the proceedings of the fifth international congress of logic, methodology and philosophy of science London, Ontario, Canada, 1975

Butts, Robert E (1928-1997) (Ed.) ; Hintikka, Jaakko (1929-2015) (Ed.)

Appartient à la collection : University of Western Ontario series in philosophy of science, 9, ISSN 0929-6417 Fait partie de l'ensemble : Proceedings of the Fifth International Congress of Logic, Methodology, and Philosophy of Science, London, Ontario, Canada, 1975

Dordrecht. Boston. D. Reidel Publishing Company, copyright 1977

Disponible(->>)

28
Material Type:
Livre
Ajouter au Panier

Logic, methodology and philosophy of science : proceedings of the 1960 International Congress

Nagel, Ernest (1901-1985) (Ed.) ; Suppes, Patrick (1922-2014) (Ed.) ; Tarski, Alfred (1901-1983) (Ed.)

Stanford (Calif.). Stanford University Press, 1962

Disponible(->>)

29
Material Type:
Livre
Ajouter au Panier

Logic, methodology and philosophy of science : proceedings of the 1964 International Congress

Bar-Hillel, Yehoshua (1915-1975) (Ed.) ; Union internationale d'histoire et de philosophie des sciences (Ed.) ; Académie israélienne des sciences et des lettres (Ed.)

Appartient à la collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X

Amsterdam. North-Holland, 1965

Disponible(->>)

30
Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Material Type:
Livre
Ajouter au Panier

Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Homer, Steven ; Platek, Richard A (19..-...) ; Scedrov, Andre ; Nerode, Anil (1932-...) ; Sacks, Gerald Enoch (1933-...) ; Odifreddi, Piergiorgio (1950-...) (Ed.) ; Centro internazionale matematico estivo (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1429, ISSN 0075-8434

Berlin. New York. Springer-Verlag, cop. 1990

Indisponible     (->>)

Résultats 21 - 30 sur 34  pour Tout le catalogue

previous page 1 2 résultats 3 4 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (2)

Affiner vos résultats

Type de ressource 

  1. Livres  (32)
  2. ebooks  (2)
  3. Autres open sub menu

Localisation 

  1. Descartes  (8)
  2. Descartes - CDR  (2)
  3. Monod  (25)
  4. Autres open sub menu

Sujet 

  1. Logique mathématique. Actes de congrès  (33)
  2. Informatique. Mathématiques Actes de congrès  (5)
  3. Computer science. Mathematics Congresses  (5)
  4. Set theory. Congresses  (3)
  5. Philosophie des sciences. Actes de congrès  (3)
  6. Théorie des ensembles. Actes de congrès  (3)
  7. Sciences. Méthodologie Actes de congrès  (3)
  8. Théorie de la démonstration  (2)
  9. Mathematics  (2)
  10. Computable functions. Congresses  (2)
  11. Mathématiques  (2)
  12. Mathematics, general  (2)
  13. Science. Philosophy Congresses  (2)
  14. Automates mathématiques, Théorie des. Actes de congrès  (1)
  15. Modèles mathématiques. Actes de congrès  (1)
  16. Computers. Congresses  (1)
  17. Combinatorial analysis. Congresses  (1)
  18. Mathematical linguistics. Congresses  (1)
  19. Science. Methodology Congresses  (1)
  20. Logique. Actes de congrès  (1)
  21. Logique mathématique  (1)
  22. Methodology. Congresses  (1)
  23. Ordinateurs. Programmation Actes de congrès  (1)
  24. Point fixe, théorie du  (1)
  25. Forcing (mathématiques)  (1)
  26. Logic. Congresses  (1)
  27. Ensembles, Théorie descriptive des. Actes de congrès  (1)
  28. Théorie des ensembles  (1)
  29. Lambda-calcul  (1)
  30. Systèmes informatiques. Actes de congrès  (1)
  31. Model theory. Congresses  (1)
  32. Programming (Mathematics). Congresses  (1)
  33. Modèles mathématiques  (1)
  34. Théorie des modèles. Actes de congrès  (1)
  35. Programmation (mathématiques). Actes de congrès  (1)
  36. Programmation logique. Actes de congrès  (1)
  37. Mathematics. Philosophy Congresses  (1)
  38. Machines logiques. Actes de congrès  (1)
  39. Electronic data processing. Mathematics Congresses  (1)
  40. Linguistique mathématique. Actes de congrès  (1)
  41. Computational complexity. Congresses  (1)
  42. Théorie des modèles  (1)
  43. Electronic digital computers. Programming Congresses  (1)
  44. Logic programming. Congresses  (1)
  45. Analyse combinatoire. Actes de congrès  (1)
  46. Mathematical models. Congresses  (1)
  47. Automata. Congresses  (1)
  48. Mathématiques. Philosophie Actes de congrès  (1)
  49. Autres open sub menu

Auteur 

  1. IEEE computer society.Technical committee on mathematical foundations of computing  (5)
  2. Association for symbolic logic  (4)
  3. Müller, Gert Heinz. mathématicien  (3)
  4. Kechris, Alexander Sotirios  (2)
  5. Tugué, Tosiyuki  (2)
  6. Tarski, Alfred  (2)
  7. Hodges, Wilfrid  (2)
  8. Bar-Hillel, Yehoshua  (2)
  9. Académie israélienne des sciences et des lettres  (2)
  10. Moschovakis, Yiannis N  (2)
  11. Mathias, Adrian Richard David  (2)
  12. Rogers, Hartley  (2)
  13. Slaman, Theodore A  (1)
  14. Homer, Steven  (1)
  15. Régnier, Laurent  (1)
  16. Suppes, Patrick  (1)
  17. Hasenjaeger, Gisbert  (1)
  18. Caicedo, Xavier  (1)
  19. Girard, Jean-Yves  (1)
  20. Society for industrial and applied mathematics.Etats-Unis  (1)
  21. Richter, Michael M  (1)
  22. Cooper, S. Barry  (1)
  23. Union internationale d'histoire et de philosophie des sciences  (1)
  24. Institut national de recherche en informatique et en automatique.France  (1)
  25. Scedrov, Andre  (1)
  26. Kalmár, László  (1)
  27. Sacks, Gerald Enoch  (1)
  28. Kozen, Dexter C  (1)
  29. University of California.Berkeley  (1)
  30. Gandy, Robin O  (1)
  31. Truss, J. K  (1)
  32. Special group on algorithms and computation theory.Etats-Unis  (1)
  33. Bólyai János matematikai társulat  (1)
  34. Henkin, Leon  (1)
  35. Potthoff, Karl  (1)
  36. Kreisel, Georg  (1)
  37. Schwichtenberg, Helmut  (1)
  38. Di Prisco, Carlos Augusto  (1)
  39. Association européenne d'informatique théorique  (1)
  40. Institut für Mathematische Logik und Grundlagenforschung.Münster, Allemagne  (1)
  41. Nerode, Anil  (1)
  42. Montenegro, Carlos H  (1)
  43. Organisation du traité de l'Atlantique nord.Division des affaires scientifiques  (1)
  44. Odifreddi, Piergiorgio  (1)
  45. Wiskundig genootschap.Pays-Bas  (1)
  46. Martin, Donald A  (1)
  47. Centro internazionale matematico estivo  (1)
  48. Magyar tudományos akadémia.Könyvtár  (1)
  49. Addison, John West  (1)
  50. Research institute for mathematical sciences  (1)
  51. Takeuchi, Gaishi  (1)
  52. Uniwersytet Warszawski  (1)
  53. Oberschelp, Arnold  (1)
  54. Skolem, Thoralf  (1)
  55. Centre national de la recherche scientifique.France  (1)
  56. Lafont, Yves  (1)
  57. Institut de statistiques mathématiques  (1)
  58. Platek, Richard A  (1)
  59. Simpson, Stephen Gershom  (1)
  60. Centre d'études de logique symbolique.Paris  (1)
  61. Indiana university  (1)
  62. Hintikka, Jaakko  (1)
  63. Butts, Robert E  (1)
  64. Shinoda, Juichi  (1)
  65. American Mathematical Society  (1)
  66. Yates, C. E. M  (1)
  67. Nagel, Ernest  (1)
  68. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1971  (6)
  2. 1971 à 1976  (5)
  3. 1977 à 1984  (6)
  4. 1985 à 1990  (6)
  5. Après 1990  (11)
  6. Autres open sub menu

Langue 

  1. Français  (8)
  2. Allemand  (3)
  3. Russe  (1)
  4. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

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