Wyniki wyszukiwania:

1963 - "Epochenwende" oder "Ubergangsjahr"? Der Kanzlerwechsel von Adenauer zu Erhard markiert einen wichtigen Einschnitt in der Geschichte der Bundesrepublik Deutschland und ihrer auswartigen Politik. Die Autoren dieses Sammelbandes setzen sich anhand von Problemen der Europa- und Ostpolitik mit verschiedenen auenpolitischen Ansatzen beider Kanzler auseinander. Gleichzeitig zeigen sie auch eine Kontinuitat in der Auenpolitik auf, die in der starken Position des Auswartigen Amts und den fortdauernden auenpolitsichen Rahmenbedingungen begrundet war.

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas," i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.