Automatische Synthese rekursiver Programme als Beweisverfahren - Susanne Biundo - Google Books

https://books.google.de/books?id=nhvTBgAAQBAJ&pg=PP1

Keine Beschreibung vorhanden.

Zahlenvariable - Google-Suche

http://books.google.de/books?q=Zahlenvariable&btnG=Nach+B%C3%BCchern+suchen

Keine Beschreibung vorhanden.

Algorithmisch Rekursive Sequenzanalyse - Google-Suche

http://www.google.ch/search?q=Algorithmisch+Rekursive+Sequenzanalyse&ie=UTF-8&oe=UTF-8&hl=de&btnG=Google-Suche&meta=

Keine Beschreibung vorhanden.

Senior-Professur Prof. Dr. Penie Zwitserlood -Prof. Dr. Vorberg

https://www.uni-muenster.de/PsyIFP/AEZwitserlood/mitarbeiter/vorberg.html

Psychologisches Institut II Arbeitseinheit Zwitserlood

Master Buzzword Generator (MBG)

http://www.depenau.de/mbg.html

Keine Beschreibung vorhanden.

https://portal.dnb.de/opac.htm?method=simpleSearch&query=124204309

Keine Beschreibung vorhanden.

generieren – Wiktionary

http://de.wiktionary.org/wiki/generieren

Keine Beschreibung vorhanden.

http://www.mathematik.uni-marburg.de/~gumm/NPPV/nppv.html

Keine Beschreibung vorhanden.

Fakultät in Prolog. Das Programm und die Lösungssuche als Suchbaum. Auch als Powerpoint-Präsentation.

http://www.philipphauer.de/info/info/fakultaet-prolog-suchbaum/#loesungssuche_als_suchbaum

Die Fakultät in Prolog. Das Programm ausführlich erklärt, illustriert mit der Lösungssuche als Suchbaum. Auch als Powerpoint-Präsentation verfügbar.

Vergangenheitsbewältigung | heise Developer

http://www.heise.de/developer/artikel/Vergangenheitsbewaeltigung-352011.html

Programmieren Sie eigentlich immer noch in Java, C++, Perl oder Ruby? Sie sollten sich mit HQ9+ beschäftigen, einer eleganten Sprache, die mit minimalen Mitteln wichtige und komplexe Aufgaben wie "Hello, World!", Rekursivität und "Quines" löst.