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
| eBook, PDF | 40,95 € |
Broschiertes Buch
Softcover reprint of hardcover 1st edition 2009
22. Oktober 2010
Springer / Springer Netherlands
978-90-481-8121-6
| Gebundenes Buch | 93,99 € | |
| eBook, PDF | 89,95 € |
Gebundenes Buch
2009 edition
16. Dezember 2008
Springer / Springer Netherlands
12527540,978-1-4020-9408-8
Ähnliche Artikel
Broschiertes Buch
International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
2003
3. September 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40787-4
Broschiertes Buch
International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings
2002
17. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43929-5
Broschiertes Buch
International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
2000.
21. Juni 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-67697-3
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
Broschiertes Buch
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
2005
24. November 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11591191,978-3-540-30553-8
Broschiertes Buch
Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
2006
3. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11814771,978-3-540-37187-8
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
Broschiertes Buch
24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
1st ed. 2015
12. November 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-24311-5
Broschiertes Buch
20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
2005
14. Juli 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-28005-7
Broschiertes Buch
4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings
2002
20. März 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846555,978-3-540-43381-1
Ähnlichkeitssuche: Fact®Finder von OMIKRON
