skip to main content
Langue :
Afficher les résultats avec :

Résultats 1 - 10 sur 14  pour Tout le catalogue

résultats 1 2 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Processing Declarative Knowledge : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Processing Declarative Knowledge : International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings

Richter, Michael M (1938-...) (Ed.) ; Boley, Harold (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 567

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

2
Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I
Material Type:
ebook
Ajouter au Panier

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part I

Müller, Gert H (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Mathematics ; 1103

Berlin [etc.]. Springer, 201. ?

3
Systems of Reductions
Material Type:
ebook
Ajouter au Panier

Systems of Reductions

Benninghofen, Benjamin ; Richter, Michael M (1938-...) ; Kemmerich, Susanne

Lecture Notes in Computer Science ; 277

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Material Type:
Livre
Ajouter au Panier

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Oberschelp, Walter (1933-...) (Ed.)

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

Berlin. Heidelberg. New York [etc.]. Springer-Verlag, 1984, cop. 1984

Disponible(->>)

5
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I
Material Type:
Livre
Ajouter au Panier

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I

Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Association for symbolic logic (Ed.)

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

Berlin. New York [etc.]. Springer-Verlag, 1984

Disponible(->>)

6
CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '87 : 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 329

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

7
Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings
Material Type:
ebook
Ajouter au Panier

Algorithmic Learning Theory : 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

Wiehagen, Rolf (Ed.) ; Smith, Carl (1950-...) (Ed.) ; Zeugmann, Thomas (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 1501

Berlin, Heidelberg. Springer-Verlag Berlin Heidelberg. Springer e-books, 2002

8
CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.)

Lecture Notes in Computer Science ; 440

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

9
Topics in Case-Based Reasoning : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers
Material Type:
ebook
Ajouter au Panier

Topics in Case-Based Reasoning : First European Workshop, EWCBR-93 Kaiserslautern, Germany, November 1–5, 1993 Selected Papers

Richter, Michael M (1938-...) (Ed.) ; Althoff, Klaus-Dieter (Ed.) ; Wess, Stefan (Ed.)

Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 837

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

10
CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
Material Type:
ebook
Ajouter au Panier

CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Kleine Büning, Hans (1948-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.)

Lecture Notes in Computer Science ; 385

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

Résultats 1 - 10 sur 14  pour Tout le catalogue

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (12)

Affiner vos résultats

Type de ressource 

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

Sujet 

  1. Logique mathématique  (10)
  2. Computer science  (10)
  3. Informatique  (10)
  4. Artificial Intelligence (incl. Robotics)  (9)
  5. Intelligence artificielle  (9)
  6. Artificial intelligence  (9)
  7. Mathematical Logic and Formal Languages  (7)
  8. Logics and Meanings of Programs  (6)
  9. Logic design  (6)
  10. Algorithm Analysis and Problem Complexity  (5)
  11. Algorithmes  (5)
  12. Computer software  (5)
  13. Computation by Abstract Devices  (3)
  14. Informatique. Mathématiques  (3)
  15. Logic, Symbolic and mathematical  (3)
  16. Mathematical Logic and Foundations  (3)
  17. Analyse combinatoire  (2)
  18. Mathématiques  (2)
  19. Théorie des ensembles  (2)
  20. Combinatorics  (2)
  21. Algebra. Data processing  (2)
  22. Mathematics  (2)
  23. Systèmes experts (informatique)  (2)
  24. Symbolic and Algebraic Manipulation  (2)
  25. Monoïdes  (1)
  26. Set theory. Congresses  (1)
  27. Algebra  (1)
  28. Théorie de la démonstration. Actes de congrès  (1)
  29. Programming Languages, Compilers, Interpreters  (1)
  30. Computable functions. Congresses  (1)
  31. Management information systems  (1)
  32. Théorie des ensembles. Actes de congrès  (1)
  33. Recherche opérationnelle  (1)
  34. Logique mathématique. Actes de congrès  (1)
  35. Logic, Symbolic and mathematical. Congresses  (1)
  36. Ordinateurs  (1)
  37. Langages de programmation  (1)
  38. Ordinateurs. Programmation  (1)
  39. Programming Techniques  (1)
  40. Théorie des modèles  (1)
  41. Fonctions calculables. Informatique  (1)
  42. Apprentissage automatique  (1)
  43. Théorie de la démonstration  (1)
  44. Business Information Systems  (1)
  45. Fonctions calculables. Informatique Actes de congrès  (1)
  46. Réécriture, Systèmes de (informatique)  (1)
  47. Operations Research/Decision Theory  (1)
  48. Automates mathématiques, Théorie des  (1)
  49. Model theory. Congresses  (1)
  50. Database management  (1)
  51. Théorie des modèles. Actes de congrès  (1)
  52. Algèbre  (1)
  53. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à

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.