skip to main content
Langue :
Afficher les résultats avec :
Filtré par : auteur: Voronkov, Andrei supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming : First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

2
Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings

Voronkov, Andrei (1959-...) (Ed.) ; Nieuwenhuis, Robert (Ed.)

Lecture Notes in Computer Science ; 2250

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

3
Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 2392

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

4
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

5
Logic for Programming and Automated Reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming and Automated Reasoning : 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings

McAllester, David (1956-...) (Ed.) ; Ganzinger, Harald (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 1705

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

6
Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Reunion Island, France, November 6–10, 2000 Proceedings

Parigot, Michel (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Artificial Intelligence ; 1955

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

7
Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic Programming and Automated Reasoning : International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings

Voronkov, Andrei (1959-...) (Ed.)

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

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

8
Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings

Baaz, Matthias (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 2514

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

9
Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
Material Type:
ebook
Ajouter au Panier

Logic for Programming, Artificial Intelligence, and Reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Vardi, Moshe Y (Ed.) ; Voronkov, Andrei (1959-...) (Ed.)

Lecture Notes in Computer Science ; 2850

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

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.