Format:
1 Online-Ressource (IV, 218 S.)
ISBN:
3540191291
,
0387191291
Series Statement:
Lecture notes in computer science 306
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Funktionale Programmierung
;
Funktionale Programmierung
;
Mathematische Logik
;
Konferenzschrift
DOI:
10.1007/3-540-19129-1