Reinhard Wilhelm (Ed.):
GI - 10. Jahrestagung, Saarbrücken, 30. September - 2. Oktober 1980, Proceedings.
Informatik-Fachberichte 33 Springer 1980, ISBN 3-540-10388-0
Hauptvorträge
Software-Entwicklung, Software-Pflege
Datenbanken / Data Base Systems
Schutzmechanismen in Rechensystemen / Protection Mechanisms in Computing Systems
Neuere Tendenzen in the theoretischen Informatik und ihre Auswirkungen auf die Praxis / New Tendencies in Theoretical Computer Science and their Impact on Practical Problems
Künstliche Intelligenz / Artificial Intelligence
- Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther:
Das Karlsruher Beweissystem.
400-412

- Wolfram-Manfred Lippe, Franz Wagner:
Ein Entwurf zur maschinellen Unterstützung von Korrekheitsbeweisen bei Simulationen.
413-427

- Graham Wrightson:
On the Treatment of Equivalence Connectives in Automated Theorem Proving.
428

- Dominique Pastre:
Knowledge-Based Theorem Proving.
429

- Jacek Leszczylowski:
Edingburgh LCF Supporting FP Systems.
430

- H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer:
An Expert System for Automatic Codeing of Abstract Data Type Specifications.
431-441

- Eric Papon:
Inducing Non-Trivial Programs from Examples.
442-456

- Georg Winterstein, Manfred Dausmann, Guido Persch:
A Method for Describing Concurrent Problems Based on Logic.
457

- Heinz Dieter Maas:
Das Saarbrücker Übersetzungssystem SUSY.
458

- Anthony Jameson, Wolfgang Hoeppner, Wolfgang Wahlster:
The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites.
459-473

- J.-H. Jayez, P. Levasseur, M. Liscouet:
A Natural Language Processing Model.
474

Betriebliche Anwendungen der Datenverarbeitung / Business Applications of Electronic Data Processing
- Joachim Griese:
Computergestützte Informationssysteme in der Materialwirtschaft.
475

- Peter Stahlknecht:
Online-Systeme im Finanz- und Rechnungswesen.
476-502

- Dietrich Seibt, Wilhelm Mülder:
Rechnergestützte Informations- und Dispositionssysteme für den Personalbereich.
503

- Klaus Wenke:
Verteilte Datenverarbeitung und Bildschirmtext.
504-513

- D. Schmidtmann:
5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH.
514-534

Kurzvortragssitzungen
- G. Müller, L. Dumke:
Entwicklung und Benutzung interaktiver Anwendungssyteme mit Hilfe von Methoden- und Datenbanksystemen.
536

- Jürgen C. W. Schröder:
Stand der Entwicklung von Bildschirmtext.
537

- H. Werner:
Der Thesaurus als Datenbank.
538

- Michael Eulenstein:
Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank.
539

- M. A. Ertel:
Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten.
540

- Michael Payer:
Systematischer Entwurf von Makroprozessoren.
541

- Klaus-Jürgen Engelberg:
Plädoyer für den Datentyp Tree.
542

- Andreas Meier:
Flächenbezogene Datenstrukturen.
543

- Horst Kosanke:
Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem.
544

- N. Bauchrowitz, F. Simon:
Lambda-Kalkül Schemata als Kontrollstrukturen für LISP-Programme.
545

- Eike Hagen Riedemann:
The Control of Parallel Computations by Labeled Petri Nets: A Study in terms of Multiple-Firing Automata and Parallel Program Schemata.
546

- Horst Niggemann:
Automatisierte Parallelisierung von Programmen.
547

- Eberhard Wegner:
Semantik-Definition der Prozeß-Programmiersprache PEARL.
548

- Peter Göhner:
Umwandlung von EPOS-Spezifikationen in Petri-Netze.
549

- Wilhelm K. Hackmann, Ekkart Rudolph, Hans Seidl:
Entwurfstechnologie auf der Grundlage von Petri-Netzen.
550

- Wilhelm K. Hackmann, Peter Theobald:
Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS.
551

- Bernd Meister:
Bedinungssyteme mit Unterbrechungen.
552

- J. Reyes, G. Roehmer:
Entwurf und Implementierung einer Systemumgebung für zeitdiskrete Simulation in PASCAL: PASIM.
553-554

- Hans-Josef Jeanrond, M. R. King, N. H. Shelness:
A Segment-Flow Model of Distributed Computing.
555

- Hans-H. Meyer, Werner Tesch:
Statistische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwicklungssystem.
556

- Monika Blum, Jürgen Höhne:
Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen.
557

- J. Riedel:
Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechnenzentren.
558

- Reiner W. Hartenstein, Peter Liell:
Ein Compiler für die Register Transfer-Sprache KARL-2.
559

- G. Stamon, Bertrand Zavidovique:
Some Problems in Parallel Image Processor Design.
560

- Ipke Wachsmuth:
Netze mit zeitvarianten Komponentenverzögerungen.
561

- Claudio Moraga:
Induktive Inferenz und mehrwertige Logik.
562

- Raymond Schneider:
Deadlock Prediction Using Petri Nets.
563

Last update Sat May 25 02:56:36 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page