|
|
|
|
|
|
|
|
1 - 10 von 11 |
|
|
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) algebraische spezifikation eingrenzen (Basisklassifikation (XBKL)) 54.71
|
|
|
|
|
|
1. |
Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings Hanus, Michael. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
2. |
Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers Dowek, Gilles *1966-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
|
3. |
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings Levi, Giorgio. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1994
|
|
|
|
4. |
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14 - 16, 1994 ; proceedings Levi, Giorgio. - Online-Ausg.. - Berlin [u.a.] : Springer, 1994
|
|
|
|
5. |
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21 - 22, 1995 ; selected papers Dowek, Gilles. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
|
6. |
Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25 - 27, 1996 ; proceedings Hanus, Michael *1959-*. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996
|
|
|
|
7. |
Algebraic development techniques Astesiano, Egidio. - Amsterdam [u.a.] : Elsevier, 1997
|
|
|
|
8. |
Algebraic and logic programming : 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3 - 5, 1997; proceedings Hanus, Michael *1959-*. - Berlin : Springer, 1997
|
|
|
|
9. |
Algebraic and logic programming : 5th International Conference, ALP'96, Aachen, Germany, September 25 - 27, 1996; proceedings Hanus, Michael *1959-*. - Berlin : Springer, 1996
|
|
|
|
10. |
Higher order algebra, logic, and term rewriting : second international workshop; selected papers Dowek, Gilles *1966-*. - Berlin : Springer, 1996
|
|
|
|
|
|
|
1 - 10 von 11 |
|
|
|
|
1 - 10 von 11 |
|
|