|
|
|
|
|
|
|
|
|
|
1. |
Machine Learning in Sports : Identifying Potential Archers Rabiu Muazu Musa. - Singapore, Singapore : Springer Singapore, [2019]
|
|
|
|
2. |
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium Yang, Syraya Chin-Mu. - Heidelberg : Springer, 2016
|
|
|
|
3. |
Programming machine ethics Pereira, Luís Moniz *1947-*. - [Cham] : Springer, [2016]
|
|
|
|
4. |
Commonsense reasoning : an event calculus based approach Mueller, Erik T. *19XX-*. - Second edition. - Amsterdam : Elsevier, Morgan Kaufmann, [2015]
|
|
|
|
5. |
Automated reasoning and mathematics : essays in memory of William W. McCune Bonacina, Maria Paola. - Berlin : Springer, 2013
|
|
|
|
6. |
Programming with higher-order logic Miller, Dale *1956-*. - 1. publ. - Cambridge [u.a.] : Cambridge University Press, 2012
|
|
|
|
7. |
Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz Erdem, Esra *1976-*. - Berlin : Springer, 2012
|
|
|
|
8. |
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine Petzold, Charles *1953-*. - Indianapolis, Ind. : Wiley, 2008
|
|
|
|
9. |
Circles of analysis : essays on logic, mind and knowledge Ule, Andrej *1946-*. - Berlin : Lit, 2008
|
|
|
|
10. |
Randomness and complexity : from Leibniz to Chaitin Calude, Cristian *1952-*. - Hackensack, NJ [u.a.] : World Scientific, 2007
|
|
|
|
|
|
|
1 - 10 von 297 |
|
Wort |
|
Typ |
|
Anzahl |
|
54.71 |
|
Basisklassifikation (XBKL) |
|
297 |
|
|
|
|
|
|
|
1 - 10 von 297 |
|
|