Erschienen: 29.06.1993 Abbildung von Voronkov | Logic Programming and Automated Reasoning | 1993

Voronkov

Logic Programming and Automated Reasoning

4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1993. Buch. xiv, 394 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-56944-2

Format (B x L): 15,5 x 23,3 cm

Gewicht: 1270 g

In englischer Sprache

Produktbeschreibung

LPAR is an international conference series aimed at bringing
together researchers interested in logic programming and
automated reasoning. The research in logic programming grew
out of the research in automated reasoning in the early
1970s. Later, the implementation techniques known from logic
programming were used in implementing theorem proving
systems. Results from both fields applied to deductive
databases.
This volume contains the proceedings of LPAR '93, which was
organized by the Russian Association for Logic Programming.
The volume contains 35 contributed papers selected from 84
submissions, together with an invited paper by Peter Wegner
entitled "Reasoning versus modeling in computer science".

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...