Erschienen: 12.07.1990 Abbildung von Bläsius / Hedtstück / Rollinger | Sorts and Types in Artificial Intelligence | 1990

Bläsius / Hedtstück / Rollinger

Sorts and Types in Artificial Intelligence

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

1990. Buch. viii, 307 S. Bibliographien. Softcover

Springer. ISBN 978-3-540-52337-6

Format (B x L): 17,8 x 25,4 cm

Gewicht: 1250 g

In englischer Sprache

Produktbeschreibung

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.

Autoren

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

        Ihre Daten werden geladen ...