Logic for Programming, Artificial Intelligence | Kaicus Deutschland

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

LPAR‑20 Proceedings aus Suva zeigen, wie Logik und Programmierung KI voranbringen: Beiträge zur semantischen Analyse, formalen Modellen und automatisierten Entscheidungsfindung eröffnen neue Forschungsperspektiven.

Marke: Martin Davis
ISBN: 3662488981
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen