Sortierung ändern: Popularität Titel Veröffentlichung Preis
 |
 |
Hybrid Models for Coupling Deductive and Inductive Reasoning: Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 202
|
EDV / Informatik |
84.00 |
|
| Buch |
  Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
|
Schulbücher |
117.00 |
|
| Buch |
Sprache:
Englisch / Autor: Yves Bertot / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 32nd International Conference, ILP 2023, Bari, Italy, November 13-15, 2023, Proceedings
|
EDV / Informatik |
63.00 |
|
| Buch |
 Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers
|
EDV / Informatik |
68.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Analogical and Inductive Inference: International Workshop AII '92, Dagstuhl Castle, Germany, October 5-9, 1992. Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
|
Schulbücher |
159.00 |
|
| Buch |
Sprache:
Englisch / Autor: Yves Bertot / Einband: Gebunden |
|
|
|
|
 |
Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
|
EDV / Informatik |
56.90 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Probabilistic Inductive Logic Programming
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Foundations of Inductive Logic Programming
|
EDV / Informatik |
103.00 |
|
| Buch |
Sprache:
Englisch / Autor: Shan-Hwei Nienhuys-Cheng / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
|
EDV / Informatik |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Prolog and inductive reasoning: a logic programming language
|
EDV / Informatik |
52.50 |
|
| Buch |
Sprache:
Englisch / Autor: Kumeel Alsmail Alsmail / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Advances in Computer Games: 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
|
Schulbücher |
70.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
 |
Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers
|
EDV / Informatik |
69.00 |
|
| Buch |
Sprache:
Englisch / Einband: Kartoniert |
|
|
|
|
| / 2  |
Newsfeed | 
Facebook | 
Twitter
