News: Thesis on adaptive driver assistance systems defended Feb 21, 2020; Best paper award at Discovery Science 2019 Oct 28, 2019; Leaving Sep 23, 2019; Our project ESEG in the TV news Jan 14, 2019; Student Bot beats Crazyhouse World Champion Dec 27, 2018; More news…

diff.pl

diff(x,1). diff(C, 0) :- atomic(C), C \= x. diff(F + G, DF + DG) :- diff(F, DF), diff(G, DG). diff(F - G, DF - DG) :- diff(F, DF), diff(G, DG). diff(F * G, DF * G + F * DG) :- diff(F, DF), diff(G, DG). diff(F / G, (DF * G - F * DG) / (G * G)) :- diff(F, DF), diff(G, DG).

Kontakt

small ke-icon

Knowledge Engineering Group

Fachbereich Informatik
TU Darmstadt

S2|02 D203
Hochschulstrasse 10
D-64289 Darmstadt

Sekretariat:
Telefon-Symbol +49 6151 16-21811
Fax-Symbol +49 6151 16-21812
E-Mail-Symbol info@ke.tu-darmstadt.de

KE Public Kalender: Click here to see upcoming appointments.

A A A |

Suche | Mobile Version

zum Seitenanfang

zum Seitenanfang