1 research outputs found
Eine Methode zur Aktualisierung aussagenlogischer Wissensbasen
No full textSIGLEBibliothek Weltwirtschaft Kiel A 170961 / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
No full text