Informatik (15 757 Artikel)

This volume constitutes the proceedings of the sixth European Conference on Object-Oriented Programming (ECOOP), held in Utrecht, The Netherlands, June 29 - July 3, 1992. Since the "French initiati...

1. Overall View of the ACORD Project.- 2. The Construction of Semantic Representations from F-STRUCTUREs.- 3. French Unification Categorial Grammars.- 4. TheControl of UCG Grammars.- 5. Anaphora Re...

This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is t...

This volume contains the texts of 26 lectures and contributions to the program of the International Summer School on Advanced Topics in Artificial Intelligence held in Prague, Czechoslovakia, July ...

1 Architektur in der Client/Server-Umgebung.- Client/Server-Verarbeitung -- Die Grundlagen.- Kosten.- Einsatz der Anwendung.- Betriebsdatenverarbeitung.- DSS-Verarbeitung.- Unterschiede in der Clie...

The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on Databases, held in Aberdeen, Scotland, in Ju...

Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen...

The papers in this volume were presented at SWAT 92, the Third Scandinavian Workshop on Algorithm Theory. The workshop, which continues the tradition ofSWAT 88, SWAT 90, and the Workshop on Algorit...

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July 1992. It is the second in a series of international symposia on logical founda...

This book has its source in the question of whether any knowledge engineering tools can be applied or analyzed in cognition research and what insights and methods of cognitive science might be rele...

This volume presents the proceedings of the 19th International Colloquium onAutomata, Languages, and Programming (ICALP 92) in a series of meetings sponsored by the European Association for Theoret...

This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bri...

A strong and fluent competency in mathematics is a necessary condition for scientific, technological and economic progress. However, it is widely recognized that problem solving, reasoning, and thi...

This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of th...

Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical repres...