Logic for Programming, Artificial Intelligence, and Reasoning

Allgemein

Marke
Geoff Sutcliffe

Eigenschaften

Menü