Robuta

https://publikationen.bibliothek.kit.edu/122491 KA-Prolog: Erweiterungen einer logischen Programmiersprache un... ka prolog erweiterungen einer programmiersprache https://katalog.bibliothek.kit.edu/bib/31575 Details for: Studien zur Grundlegung der Logik und der logischen Interpretationsmittel : mit... OPAC der KIT-Bibliothek details studien zur