Broschiertes Buch
A deductive account of natural language syntax and semantics
2012
2. Juli 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-31554-1
| eBook, PDF | 57,95 € |
Broschiertes Buch
4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings
2001
13. Juni 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42273-0
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Broschiertes Buch
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
2007
30. August 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12122257,978-3-540-74914-1
Broschiertes Buch
5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
1996.
13. März 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60983-4
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
2002
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
Broschiertes Buch
1990.
24. Juli 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-52849-4
Broschiertes Buch
Paris, France, September 3-6, 1991. Proceedings
1991.
21. August 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54495-1
Broschiertes Buch
19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
2005
9. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11538363,978-3-540-28231-0
Broschiertes Buch
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
2002
20. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43287-6
29,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
1984.
1. Juni 1984
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-13346-9
Broschiertes Buch
17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
2001
14. November 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42935-7
Broschiertes Buch
23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
1st ed. 2018
15. Juli 2018
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-57783-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
