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

This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Voronkov, Andrei, 1959-
Korporativní autor: Russian Conference on Logic Programming (Autor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Edice:Lecture notes in computer science. Lecture notes in artificial intelligence 592
Témata:
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• 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, A. Voronkov (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (IX-514 p.), Lecture notes in computer science, 3-540-55460-2
• Logic Programming, Texte imprimé, 9783662184530

Podobné jednotky