// this code is not protected from variable substitution of the generator!!! $level = 4; $param = << Automatic Reasoning Group: Pre DEEN Suche extern bei StartPage NewsDept. of CSUniversityStudiesDept. of CSUniversityResearchDept. of CSUniversityUniversityApplicantsDept. of CSUniversity TU / Department of Computer Science / Automated Reasoning / Teaching / Semws21 / Pre News Group Publications CerVerA Teaching Theses and Projects Contact Feedback for this Page Sorry! Diese Seite ist noch nicht fertiggestellt! This page has not been completed yet! if (4 <= 1) { ?>News [more ...] @include("/home/www/htdocs/en/hotnews.en.html"); ?> } ?>Quick LinksDepartment of Computer ScienceCourses of StudiesLecturesProfessorsDean's OfficeSCIStudents CouncilAlumniColloquia TU KaiserslauternStudentServiceCentreFacultiesInternational StudentsUniversity LibraryCafeteria MenuCourse CatalogueFAQ Frequently Asked Questions
Suche extern bei StartPage
This page has not been completed yet!