Suchergebnisse - Type-logical syntax

1
2
3
4
5
6
7
8
9
10
11
Nächster
[15]

Type-Logical Syntax

Kubota, Yusuke (Verfasser)

Cambridge : The MIT Press, 2020

E-Book

Type-logical syntax

Kubota, Yusuke (Verfasser)

Cambridge, Massachusetts : The MIT Press, 2016

E-Book

Nominal sets : names and symmetry in computer science

Pitts, Andrew M.

1. publ.

Cambridge : Cambridge Univ. Press, 2013

Buch

Dependency syntax : theory and practice

Melʹčuk, Igorʹ Aleksandrovič

Albany, NY : State Univ. of New York Press, 1988

Buch

Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Dawar, Anuj (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Logic, Language, and Computation : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

Bosch, Peter (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Contributions to functional syntax, semantics, and language comprehension

Sgall, Petr (Hrsg.)

Amsterdam [u.a.] : Benjamins, 1984

Buch

Essentials of grammatical theory : a consensus view of syntax and morphology

Allerton, David J.

London [u.a.] : Routlege & Kegan Paul, 1979

Buch

Axiomatising the logic of computer programming

Goldblatt, Robert

Berlin [u.a.] : Springer, 1982

Buch

Formal Grammar : 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

Foret, Annie (Herausgeber)

1st ed. 2018

Berlin, Heidelberg : Springer Berlin Heidelberg, 2018

E-Book

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Amblard, Maxime (Herausgeber)

1st ed. 2016

Berlin, Heidelberg : Springer Berlin Heidelberg, 2016

E-Book

Logical Aspects of Computational Linguistics : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings

Bechet, Denis (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

E-Book

Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings

Asher, Nicholas (Herausgeber)

1st ed. 2014

Berlin, Heidelberg : Springer Berlin Heidelberg, 2014

E-Book

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Yang, Hongseok (Herausgeber)

1st ed. 2017

Berlin, Heidelberg : Springer Berlin Heidelberg, 2017

E-Book

Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Thiemann, Peter (Herausgeber)

1st ed. 2016

Berlin, Heidelberg : Springer Berlin Heidelberg, 2016

E-Book

Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

Curien, Pierre-Louis (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Morrill, Glyn (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

E-Book

Introduction to compiler design

Mogensen, Torben Æ.

London : Springer, 2011

Buch

The official ABAP reference
1.

Keller, Horst

1. ed.

Bonn [u.a.] ; Galileo Press, 2012

Buch

Programming language concepts

Sestoft, Peter

London [u.a.] : Springer, 2012

Buch

1
2
3
4
5
6
7
8
9
10
11
Nächster
[15]

Treffer 1 - 20 von 292

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken