Broschiertes Buch
International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
1993.
16. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56883-4
Broschiertes Buch
The COSY Approach
Softcover reprint of the original 1st ed. 1992
29. Dezember 2011
Springer, Berlin
Gebundenes Buch
The COSY Approach
1992
Springer, Berlin
Ähnliche Artikel
Broschiertes Buch
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers
2011
4. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80028528,978-3-642-17510-7
Broschiertes Buch
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
1st ed. 2015
3. Dezember 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-48898-0
Broschiertes Buch
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
2004
22. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11018285,978-3-540-22345-0
Broschiertes Buch
4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
1993
29. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56944-2
Broschiertes Buch
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
1999
25. August 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704915,978-3-540-66492-5
Broschiertes Buch
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
1994
22. Juni 1994
Springer, Berlin
Broschiertes Buch
8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 ¿ July 2, 2016, Proceedings
1st ed. 2016
12. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-40228-4
Broschiertes Buch
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
2009
10. Juli 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12717996,978-3-642-02958-5
Broschiertes Buch
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
1992
1. Juli 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55727-2
Broschiertes Buch
International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
1999
26. Mai 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-66086-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
