![Resolution Methods for the Decision Problem Resolution Methods for the Decision Problem](https://bilder.buecher.de/produkte/09/09228/09228567m.jpg)
Broschiertes Buch
1993.
29. Juli 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56732-5
![Tipovye zadachi po diskretnoy matematike Tipovye zadachi po diskretnoy matematike](https://bilder.buecher.de/produkte/41/41131/41131773m.jpg)
Broschiertes Buch
Kontrol'nye i samostoyatel'nye raboty
2014
Palmarium Academic Publishing
Ähnliche Artikel
![Artificial Neural Nets. Problem Solving Methods Artificial Neural Nets. Problem Solving Methods](https://bilder.buecher.de/produkte/24/24917/24917297m.jpg)
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
![Inductive Synthesis of Functional Programs Inductive Synthesis of Functional Programs](https://bilder.buecher.de/produkte/12/12278/12278678m.jpg)
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
![Parallel Problem Solving from Nature - PPSN III Parallel Problem Solving from Nature - PPSN III](https://bilder.buecher.de/produkte/09/09207/09207603m.jpg)
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
![Theorem Proving with Analytic Tableaux and Related Methods Theorem Proving with Analytic Tableaux and Related Methods](https://bilder.buecher.de/produkte/09/09217/09217104m.jpg)
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 Multiobjective Problem Solving from Nature](https://bilder.buecher.de/produkte/23/23099/23099160m.jpg)
Gebundenes Buch
From Concepts to Applications
2008
5. Dezember 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
11947509,978-3-540-72963-1
![Hybrid Metaheuristics Hybrid Metaheuristics](https://bilder.buecher.de/produkte/21/21914/21914918m.jpg)
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
![Computational Aspects of an Order-Sorted Logic with Term Declarations Computational Aspects of an Order-Sorted Logic with Term Declarations](https://bilder.buecher.de/produkte/23/23149/23149492m.jpg)
29,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
1989
20. September 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51705-4
![Berechenbarkeit, Komplexität, Logik Berechenbarkeit, Komplexität, Logik](https://bilder.buecher.de/produkte/24/24408/24408622n.jpg)
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
![A Resolution Principle for a Logic with Restricted Quantifiers A Resolution Principle for a Logic with Restricted Quantifiers](https://bilder.buecher.de/produkte/09/09229/09229055m.jpg)
Broschiertes Buch
1991.
11. Dezember 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55034-1
![Artificial Immune Systems: A New Computational Intelligence Approach Artificial Immune Systems: A New Computational Intelligence Approach](https://bilder.buecher.de/produkte/11/11106/11106240m.jpg)
Broschiertes Buch
2002
23. September 2002
Springer / Springer London / Springer, Berlin
978-1-85233-594-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON