Die Suche ergab 3 Treffer

von randall
12. Feb 2014 16:09
Forum: Archiv
Thema: 3.1 Proof mit allLeft oder existsLeft -> t( G term) ????
Antworten: 7
Zugriffe: 1025

Re: 3.1 Proof mit allLeft oder existsLeft -> t( G term) ????

Hi, ich habe da auch nicht so viel Ahnung, aber vielleicht hilft es ja. Also um diesen Term zu beschreiben benötigst du zu erst eine Konstante. Entweder eine selbstdefinierte oder du wendest zuerst eine allright- oder exleft-regel an - da generiert dir Key automatisch eine. Diese Konstante kannst du...
von randall
22. Okt 2013 23:32
Forum: Archiv
Thema: Gruppensuche
Antworten: 0
Zugriffe: 174

Gruppensuche

Hi,
ich suche eine Gruppe, der ich beitreten könnte oder einzelne Personen für solch eine.
Da ich mir noch nicht so sicher mit der Veranstaltung bin, wäre es gut wenn man sich nicht auf mich verlassen müsste. :)

LG
von randall
22. Okt 2013 23:11
Forum: Archiv
Thema: Zugansdaten
Antworten: 50
Zugriffe: 4810

Re: Zugansdaten

Ich würde mich auch über die Daten freuen.

Vorab schonmal Danke. :)

Hat sich erledigt und danke für den Hinweis mmi1991.


LG

Zur erweiterten Suche