Yazar
Kerber, Manfred. editor.
Format:
Electronic Resources
Alıntı:
Invited Talks -- Calculemus -- Digital Mathematics Libraries -- Mathematical Knowledge Management
Yazar
Seki, Hirosato. editor.
Format:
Electronic Resources
Alıntı:
uncertainty management and decision support; econometrics; machine learning; machine learning applications
View Other Search Results
Yazar
Fajstrup, Lisbeth. author.
Format:
Electronic Resources
Alıntı:
processes in resource management as a point of departure, the book goes on to refine combinatorial and
Yazar
Torra, Vicenç. editor. (orcid)0000-0002-0368-8037
Format:
Electronic Resources
Alıntı:
-- Extraction of Patterns to support Dairy Culling Management -- An axiomatisation of the Banzhaf value and
Yazar
Watt, Stephen M. editor.
Format:
Electronic Resources
Alıntı:
-- Towards Knowledge Management for HOL Light -- Automated Improving of Proof Legibility in the Mizar System