Prädikatenlogik

http://www-ai.cs.uni-dortmund.de:8765/lexikon/theorie/logik/node3.html

Pr?dikatenlogik

2.9 Exkurs: Mehrsortige Prdikatenlogik erster Stufe

http://www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node14.html

Keine Beschreibung vorhanden.

//www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node23.html

Keine Beschreibung vorhanden.

2.10 Exkurs: Prdikatenlogik zweiter Stufe

http://www.en.pms.ifi.lmu.de/publications/projektarbeiten/Claudia.Plant_Alije.Ristemi/node15.html

Keine Beschreibung vorhanden.

Unicode® auf Deutsch (Rainer Seitel)

http://rainer-seitel.onlinehome.de/unicode-de.html#deutscheNamen

Den Zeichen von Unicode® 9.0 werden deutsche Namen und Bedeutungen zugeordnet.

Unicode® auf Deutsch (Rainer Seitel)

http://rainer-seitel.onlinehome.de/unicode-de.html

Den Zeichen von Unicode® 9.0 werden deutsche Namen und Bedeutungen zugeordnet.

ZGMTH - Harmonische Mehrdeutigkeit und ihre Gründe

http://www.gmth.de/zeitschrift/artikel/217.aspx

Keine Beschreibung vorhanden.