Broschiertes Buch
From Semantic Foundations to Efficient Computation
1997
29. April 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10639039,978-3-540-64515-3
Broschiertes Buch
2005
27. Januar 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11373957,978-3-540-24260-4
Broschiertes Buch
Eine grundlegende Einführung
1993.
1. Juli 1993
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-528-05374-1
Ähnliche Artikel
Broschiertes Buch
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings
1993
26. Februar 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56433-1
Broschiertes Buch
Basic Concepts, Results, and Techniques
1997.
15. Januar 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549941,978-3-540-62482-0
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
Broschiertes Buch
European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995. Proceedings
1995
26. Juni 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60112-8
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
European Conference ECSQAU, Marseille, France, October 15-17, 1991. Proceedings
1991.
1. Oktober 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54659-7
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
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
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
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
1992.
27. Mai 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55602-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
