*Search Results* - Type-Logical Syntax

sublabel_Solr

1
2
3
4
5
6
7
8
9
10
11
*Next*
[15]

Type-Logical Syntax

Kubota, Yusuke (Verfasser)

Cambridge : The MIT Press, 2020

*eBook*

Type-logical syntax

Kubota, Yusuke (Verfasser)

Cambridge, Massachusetts : The MIT Press, 2016

*eBook*

Nominal sets : names and symmetry in computer science

Pitts, Andrew M.

1. publ.

Cambridge : Cambridge Univ. Press, 2013

*book*

Dependency syntax : theory and practice

Melʹčuk, Igorʹ Aleksandrovič

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

*book*

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

*eBook*

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

*eBook*

Contributions to functional syntax, semantics, and language comprehension

Sgall, Petr (Hrsg.)

Amsterdam [u.a.] : Benjamins, 1984

*book*

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

Allerton, David J.

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

*book*

Axiomatising the logic of computer programming

Goldblatt, Robert

Berlin [u.a.] : Springer, 1982

*book*

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

*eBook*

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

*eBook*

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

*eBook*

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

*eBook*

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

*eBook*

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

*eBook*

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

*eBook*

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

*eBook*

Introduction to compiler design

Mogensen, Torben Æ.

London : Springer, 2011

*book*

The official ABAP reference
1.

Keller, Horst

1. ed.

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

*book*

Programming language concepts

Sestoft, Peter

London [u.a.] : Springer, 2012

*book*

1
2
3
4
5
6
7
8
9
10
11
*Next*
[15]

*sublabel_Solr*

*Showing* 1 - 20 *of* 291

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 291

pagination

pagination

Narrow Search