Format:
Online-Ressource
ISBN:
9783540392408
Series Statement:
Lecture Notes in Computer Science 138
Additional Edition:
ISBN 9783540115588
Additional Edition:
Buchausg. u.d.T. New York, USA, june 7 - 9, 1982 1982 ISBN 3540115587
Additional Edition:
ISBN 0387115587
Language:
English
Subjects:
Computer Science
,
Economics
Keywords:
Beweistheorie
;
Datenverarbeitung
;
Beweistheorie
;
Datenverarbeitung
;
Konferenzschrift