Publication
Detail
Publication date: 01/09/2013Program Updating by Incremental and Answer Subsumption Tabling
URL | http://link.springer.com/chapter/10.1007/978-3-642-40564-8_47 |
---|---|
Publisher | Springer |
Series | LNAI |
Volume | 8148 |
ISBN | 978-3-642-40563-1 |
Address | http://www.springer.com/computer/ai/book/978-3-642-40563-1 |
URL | http://link.springer.com/chapter/10.1007/978-3-642-40564-8_47 |
Publisher | Springer |
Series | LNAI |
Volume | 8148 |
ISBN | 978-3-642-40563-1 |
Address | http://www.springer.com/computer/ai/book/978-3-642-40563-1 |