Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic progr...
Zapisane w:
| 1. autor: | |
|---|---|
| Korporacja: | |
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science. Lecture notes in artificial intelligence
698 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
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 and automated reasoning, 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993, proceedings, A. Voronkov, ed, Berlin, Springer-Verlag, 1993, 1 vol. (XIII-386 p.), Lecture notes in computer science, 3-540-56944-8 • Logic Programming and Automated Reasoning, Texte imprimé, 9783662174135 |