Suchergebnisse für ""Jean-Daniel Zucker""




Ähnliche Artikel


Abstraction, Reformulation, and Approximation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Sven Koenig / Robert Holte (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings
2002
19. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43941-7

Abstraction, Reformulation, and Approximation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Berthe Y. Choueiry / Toby Walsh (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings
2000
17. Juli 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67839-7

Abstraction, Reformulation, and Approximation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Ian Miguel (Volume ed.) / Wheeler Tuml
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
2007
4. Juli 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12089598,978-3-540-73579-3

Artificial Intelligence and Symbolic Computation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Jaques Calmet / Tetsuo Ida / Dongming Wang (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
2006
13. September 2006
Springer, Berlin
11856290

Inductive Logic Programming
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Celine Rouveirol / Michele Sebag (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42538-0

Advances in Artificial Intelligence
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Balázs Kégl / Guy Lapalme (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005, Proceedings
2005
28. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25864-3

Theorem Proving with Analytic Tableaux and Related Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Miglioli
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
1996.
24. April 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61208-7

Artificial Intelligence and Symbolic Computation
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
John A. Campbell / Eugenio Roanes-Lozano (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
2001
25. April 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42071-2

Advances in Artificial Intelligence
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Eleni Stroulia / Stan Matwin (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings
2001
16. Mai 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42144-3

Automated Deduction - CADE-17
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
David McAllester (ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
2000
5. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67664-5



Ähnlichkeitssuche: Fact®Finder von OMIKRON