Broschiertes Buch
Theorem Proving Techniques and P-Functions
1987.
12. August 1987
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-18217-7
0,00 €
Sofort per Download lieferbar
Ähnliche Artikel
Broschiertes Buch
9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
1997.
13. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63398-3
Broschiertes Buch
A Decade of Research Advances in Logic-Based Program Development
2004
17. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11012061,978-3-540-22152-4
Broschiertes Buch
7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings
1995.
11. September 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60359-7
Broschiertes Buch
14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings
1st ed. 2018
24. April 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-90685-0
Broschiertes Buch
6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
2004
14. Juni 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11014027,978-3-540-22253-8
Broschiertes Buch
Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
2000.
5. Januar 2000
Springer / Springer Berlin Heidelberg / Springer, Berlin
10719570,978-3-540-66992-0
Broschiertes Buch
International Conference, Paris, France, September 19-21, 1990
1990.
7. September 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53101-2
Gebundenes Buch
From Logic to Programming
Repr. d. Ausg. v. 1997
18. Dezember 1997
Birkhäuser Basel / Springer, Basel
Broschiertes Buch
International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
2009
15. Oktober 2009
Springer / Springer Berlin Heidelberg / Springer, Berlin
12776832,978-3-642-04984-2
Broschiertes Buch
5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers.
1996.
8. Mai 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61228-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON
