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
4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers
2001
24. Oktober 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42812-1
Broschiertes Buch
22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
1st ed. 2018
10. Januar 2018
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-56342-7
Broschiertes Buch
Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers
1999.
17. März 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703147,978-3-540-65751-4
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
4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings
1st ed. 2021
15. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-89390-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
