von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Manuel Ojeda-Aciego
Action agents artificial intelligence complexity intelligence knowledge knowledge representation proving theorem proving