Regular signed resolution applied to annotated logic programs
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 246095 |
| Erscheinungsvermerk | In: Proceedings of the 1995 International Symposium ILPS 95, Portland, Or. Ed.: J. Lloyd. MIT Pr. 1995. S. 638. |