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
Broschiertes Buch
5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings
2005
15. April 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-25783-7
Ä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
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
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
Softcover reprint of the original 1st ed. 1995
13. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-79363-9
Broschiertes Buch
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
2004
2. September 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11315872,978-3-540-23024-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON
