Suchergebnisse für ""Z. Stachniak""




Ähnliche Artikel


Automated Reasoning
85,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Rajeev Gore / Alexander Leitsch / Tobias Nipkow (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
2001
6. Juni 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42254-9

Automated Reasoning with Analytic Tableaux and Related Methods
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Nicola Olivetti (Volume ed.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
2007
21. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12077922,978-3-540-73098-9

Logic for Programming and Automated Reasoning
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Michel Parigot / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
2000.
23. Oktober 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10781844,978-3-540-41285-4

Logic for Programming, Artificial Intelligence, and Reasoning
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Franz Baader / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
2005
7. März 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11403487,978-3-540-25236-8

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

Reasoning and Unification over Conceptual Graphs
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Dan Corbett
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2003
31. Januar 2003
Springer / Springer Netherlands / Springer US
978-0-306-47487-3

Logic for Programming, Artificial Intelligence, and Reasoning
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Moshe Vardi / Andrei Voronkov (eds.)
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings
2003
12. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-20101-4

Logics in Artificial Intelligence
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Michael Fisher / Wiebe van der Hoek / Boris Konev / Alexei Lisitsa
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings
2006
13. September 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11853886,978-3-540-39625-3

Automated Mathematical Induction
83,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Hantao Zhang (ed.)
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
1996.
31. Mai 1996
Springer / Springer Netherlands
978-0-7923-4010-2



Ähnlichkeitssuche: Fact®Finder von OMIKRON