Lehrstuhl Programmierparadigmen Logo Theorem prover lab: applications in programming languages
People
About us
Projects
Publications
Courses
Jobs
Theses
Impressum
Location

de en

 

Karlsruher Institut für Technologie Informatik KIT - Karlsruhe Institut of technology (Universität Karlsruhe)

 

 

Description only available in german.

Schedule

begin 13.04.2010, end 13.07.2010

Weekday Begin End Location
Tuesday 14:00h 15:30h Praktikumspool -143, Geb. 50.34

Personnel

Scientific Staff
Wasserrab, Daniel
IPD-Web - developed 2002-2008 ver 2.0 @ IPD Goos, IPD Tichy, ITM Zitterbart, IPD Snelting