Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 : proceedings
Finna-arvio
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 : proceedings
Tallennettuna:
| Ulkoasu |
XIII, 486 s |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Berlin :
Springer,
2000.
|
| Sarja | Lecture notes in artificial intelligence, 1955. |
| Luokitus | |
| Lisätiedot | Michel Parigot, Andrei Voronkov (eds.) |
| ISBN |
3-540-41285-9 |
| Kontrolloimaton nimeke |
LPAR 2000 |