6th Refinement Workshop
6th Refinement Workshop: proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5-7 January 1994 David Till (ed.)
Publisher: London ; Springer-Verlag, c1994.
ISBN: 3540198865
Edition: (Berlin : acid-free paper)
7. Österreichische Artificial-Intelligence-Tagung
7. Österreichische Artificial-Intelligence-Tagung = Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.-27. September 1991, proceedings Hermann Kaindl (Hrsg.)
Publisher: Berlin ; Springer-Verlag, c1991.
ISBN: 0387545670
DDC: 6.3
LCC: Q334
Edition: (New York)
7th International Conference on Automated Deduction
7th International Conference on Automated Deduction: Napa, California, USA, May 14-16, 1984; proceedings
edited by R. E. Shostak
Publisher: Berlin ; Springer-Verlag, c1984.
ISBN: 3540960228
DDC: 511.3
LCC: QA76.9
Edition: (Berlin)
9th International Conference on Automated Deduction
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: proceedings
E. Lusk, R. Overbeek (eds.)
Publisher: Berlin : Springer-Verlag, c1988.
ISBN: 354019343X
DDC: 511.3
LCC: QA76.9
Edition: (Berlin)
<<Die>> Kosten-Nutzen-Analyse
<> Kosten-Nutzen-Analyse Methodik und Anwendung am Beispiel von Medikamenten
Hrsg. von B. Horisberger und W. van Eimeren
Publisher: Berlin [etc.] Springer-Verlag cop. 1986
ISBN: 354015471X
Edition: Springer (Berlin)
<<Die>> Kosten-Nutzen-Analyse
<> Kosten-Nutzen-Analyse Methodik und Anwendung am Beispiel von Medikamenten
Hrsg. von B. Horisberger und W. van Eimeren
Publisher: Berlin [etc.] Springer-Verlag cop. 1986
ISBN: 038715471X
Edition: Springer (New York)
