Graph-based proof procedures for horn clauses
Edición de la obra Graph-based proof procedures for horn clauses
| Autor | Stan Raatz |
|---|---|
| Editorial | Birkhaüser |
| Fecha de publicación | 1990 |
| Lugar | Boston |
| Idioma | inglés |
| Páginas | 147 |
| ISBN-10 | 0817635300, 3764335300 |
| OCLC | 22906207 |
| LCCN | 90227328 |
| Serie | Progress in computer science and applied logic ; · v. 10 |
| Número de Cutter | R111g |