A resolution principle for clauses with constraints

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bürckert, Hans-Jürgen (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Kaiserslautern DFKI 1990
Schriftenreihe:Research Report / Deutsches Forschungszentrum für Künstliche Intelligenz 90-02
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Unterschiede zwischen dem gedruckten Dokument und der elektronischen Dokumentversion können nicht ausgeschlossen werden
Auch als elektronisches Dokument vorh
Beschreibung:25 S