Suchergebnisse für ""Nail' Zamov""




Ähnliche Artikel


Artificial Neural Nets. Problem Solving Methods
85,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
José Mira / José R. Alvarez (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part II
2003
22. Mai 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40211-4

Theorem Proving with Analytic Tableaux and Related Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Baumgartner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
1995.
26. April 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59338-6

Multiobjective Problem Solving from Nature
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Joshua Knowles / David Corne / Kalyanmoy Deb (eds.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
From Concepts to Applications
2008
5. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11947509,978-3-540-72963-1

Hybrid Metaheuristics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
María José Blesa Aguilera / Christian Blum / Andrea Roli / Michael Sampels (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings
2005
17. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11546245,978-3-540-28535-9

Inductive Synthesis of Functional Programs
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
U. Schmid
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
2003
21. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40174-2

A Resolution Principle for a Logic with Restricted Quantifiers
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hans-Jürgen Bürckert
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1991.
11. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55034-1

Computational Aspects of an Order-Sorted Logic with Term Declarations
30,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Manfred Schmidt-Schauß
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1989
20. September 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51705-4

Parallel Problem Solving from Nature - PPSN III
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Davidor
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9 - 14, 1994. Proceedings
1994.
21. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58484-1

Berechenbarkeit, Komplexität, Logik
54,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Egon Börger
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität
2. Aufl.
1. Januar 1986
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-18928-0

Automated Reasoning with Analytic Tableaux and Related Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Galmiche
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings
1997.
29. April 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-62920-7



Ähnlichkeitssuche: Fact®Finder von OMIKRON