 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 304  |
| ||
 |
Ihre Aktion | Suchen 54.71 (Logikprogrammierung) |
||
| |
| |
| |
|
|
|
|
 |
1. |
Computers & education: X reality [Amsterdam] : Elsevier B.V., [2022]- |
|
| |||
 |
2. |
Machine Learning in Sports : Identifying Potential Archers Rabiu Muazu Musa. - Singapore, Singapore : Springer Singapore, [2019] |
|
| |||
|
3. |
Structural analysis of non-classical logics : the proceedings of the Second Taiwan Philosophical Logic Colloquium Yang, Syraya Chin-Mu. - Heidelberg : Springer, 2016 |
|
| |||
|
4. |
Programming machine ethics Pereira, Luís Moniz *1947-*. - [Cham] : Springer, [2016] |
|
| |||
|
5. |
Commonsense reasoning : an event calculus based approach Mueller, Erik T. *19XX-*. - Second edition. - Amsterdam : Elsevier, Morgan Kaufmann, [2015] |
|
| |||
|
6. |
Automated reasoning and mathematics : essays in memory of William W. McCune Bonacina, Maria Paola. - Berlin : Springer, 2013 |
|
| |||
|
7. |
Programming with higher-order logic Miller, Dale *1956-*. - 1. publ. - Cambridge [u.a.] : Cambridge University Press, 2012 
|
|
| |||
|
8. |
Correct reasoning : essays on logic-based AI in honour of Vladimir Lifschitz Erdem, Esra *1976-*. - Berlin : Springer, 2012 |
|
| |||
|
9. |
Journal of formalized reasoning Bologna : [Verlag nicht ermittelbar], 2008- |
|
| |||
|
10. |
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 |
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 304 |
|
|
|
1 - 10 von 304 |
|
||||||||||||||||||||