 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 297  |
| ||
 |
Ihre Aktion | Suchen 54.71 (Logikprogrammierung) |
||
| |
| |
| |
|
|
|
|
 |
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 |
|
|
|
1 - 10 von 297 |
|
||||||||||||||||||||