Wyniki wyszukiwania:

This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.

In SEARCHING FOR LATINI, Michael Kleine recounts the quest of a rhetorician and writing teacher to discover and celebrate the significance of a thirteenth-century rhetorician who has been excluded from American versions of rhetorical history-Brunetto Latini, the teacher of Dante. Kleine argues that Latini should be rescued from obscurity, not only because of the literary status of his student but also because of Latini's promotion of Ciceronian rhetoric during the dawn of the Renaissance and the relevance of his work to contemporary teachers of writing. Kleine writes of his pilgrimage...

Das Arbeitsheft enthlt ergnzend zum Schlerband zustzliche bungsaufgaben zum Wiederholen, Festigen und Vertiefen. Der Vorteil des Arbeitsheftes liegt auf der Hand: Die Arbeit des Schlers wird auf das Wesentliche die Lerninhalte reduziert: Reine Arbeitsvorbereitungen wie das bertragen von Tabellen oder das Erstellen von Koordinatensystemen haben unsere Grafiker den Schlern schon abgenommen. Dem Arbeitsheft liegen die Lsungen als 24-Seiten-Einleger bei, der selbstverstndlich herausgenommen und eingesammelt werden kann. Zum Zwecke grtmglicher bersichtlichkeit haben wir die Seiten einfach...