Broschiertes Buch
A deductive account of natural language syntax and semantics
2. Juli 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-31554-1
| eBook, PDF | 56,95 € |
Broschiertes Buch
5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
15. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25783-7
| eBook, PDF | 40,95 € |
Ähnliche Artikel
Broschiertes Buch
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
1st ed. 2016
15. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47845-6
Broschiertes Buch
International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009, Revised Papers
3. Januar 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-18022-4
Broschiertes Buch
14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
1st ed. 2016
23. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-41590-1
Broschiertes Buch
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
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
Softcover reprint of hardcover 1st edition 2007
18. November 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09321-0
Gebundenes Buch
2007
26. September 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12072095,978-3-540-73937-1
Broschiertes Buch
Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy
31. Dezember 2019
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-60669-8
Broschiertes Buch
1st ed. 2021
27. Oktober 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-62546-7
Broschiertes Buch
A Proof Assistant for Higher-Order Logic
3. April 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846296,978-3-540-43376-7
Ähnlichkeitssuche: Fact®Finder von OMIKRON
