Graph-Based Proof Procedures for Horn Clauses
Edición de la obra Graph-Based Proof Procedures for Horn Clauses
| Autor | RAATZ |
|---|---|
| Editorial | Birkhauser Verlag |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9781489935564 |
| Número de Cutter | R111g |
Edición de la obra Graph-Based Proof Procedures for Horn Clauses
| Autor | RAATZ |
|---|---|
| Editorial | Birkhauser Verlag |
| Fecha de publicación | 2013 |
| Idioma | inglés |
| ISBN-13 | 9781489935564 |
| Número de Cutter | R111g |