Proceedings

Linköping Electronic Conference Proceedings 12 (2004)

Download proceedings

Editor(s): Ducassé; Mireille ; Nilsson; Ulf ; Seipel; Dietmar

Published: 2004-10-04

ISBN:

ISSN: 1650-3686 (print), 1650-3740 (online)

Number of pages: 91

1 An On-line Course on Constraint Programming
Solnon; Christine

2 Partial Specifications of Program Properties
Beierle; Christoph ; Kulas; Marija ; Widera; Manfred

3 Teaching Prolog Programming at the Eötvös Loránd University; Budapest
Ásványi; Tibor

4 Prolog as Description and Implementation Language in Computer Science Teaching
Christiansen; Henning

5 Teaching Logic Programming at the Budapest University of Technology
Szeredi; Péter

6 A Logic Programming E-Learning Tool for Teaching Database Electronic Conference Proceedings Dependency Theory
Douglas; Paul ; Barker; Steve

7 A Database Transaction Scheduling Tool in Prolog
Barker; Steve ; Douglas; Paul