1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... in Linear Logic -- Constraint-Based Timetabling System for the German University in Cairo -- Databases...