DFG project homepage online
The homepage of the DFG project "Effiziente Algorithmen zur induktiven Programmsynthese" (Projekt-Nr. SCHM 1239/6-1) is now online under http://www.cogsys.wiai.uni-bamberg.de/effalip/
. (16.10.2007)
The homepage of the DFG project "Effiziente Algorithmen zur induktiven Programmsynthese" (Projekt-Nr. SCHM 1239/6-1) is now online under http://www.cogsys.wiai.uni-bamberg.de/effalip/
. (16.10.2007)