in_proceedings
Detail
Publication date: 1 de June, 2021Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2012)
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 7180 |
| Pub. Date | 01/01/2012 |
| Publisher | Springer |
|---|---|
| Series | Lecture Notes in Computer Science |
| Volume | 7180 |
| Pub. Date | 01/01/2012 |