UID:
kobvindex_ZLB12491182
Format:
193 Seiten
,
graph. Darst.
,
24 cm
Edition:
1
ISBN:
3540415173
Series Statement:
Lecture notes in computer science 1956
Note:
Literaturangaben
Language:
German
Keywords:
Typentheorie
;
Kongress
;
Lökeberg 〈1999〉
;
Beweistheorie
;
Kongress
;
Lökeberg 〈1999〉
;
Formale Methode
;
Kongress
;
Lökeberg 〈1999〉
;
Programmierung
;
Kongress
;
Lökeberg 〈1999〉
;
Reduktionssystem
;
Kongress
;
Lökeberg 〈1999〉
;
Kongress
;
Konferenzschrift