|
Logic versus Approximation
|
Wolfgang Lenski |
Springer |
_ |
2004 |
|
|
Logic, Language and Computation
|
Neil D. JonesMasami HagiyaMasahiko Sato |
Springer |
9783540483915 |
1994 |
|
|
Logic, Language and Meaning
|
Maria AloniHarald BastiaanseTikitu de JagerKatrin Schulz |
Springer |
_ |
2010 |
|
|
Logic, Language and Meaning
|
Maria AloniVadim KimmelmanFloris RoelofsenGalit W. SassoonKatrin SchulzMatthijs Westera |
Springer |
9783642314827 |
2012 |
|
|
Logic, Language, and Computation
|
Nick BezhanishviliSebastian L�bnerKerstin SchwabeLuca Spada |
Springer |
_ |
2011 |
|
|
Logic, Language, and Computation
|
Peter BoschDavid GabelaiaJ�r�me Lang |
Springer |
_ |
2009 |
|
|
Logic, Language, and Computation
|
Balder D. ten CateHenk W. Zeevat |
Springer |
_ |
2007 |
|
|
Logic, Language, Information and Computation
|
Lev D. BeklemishevRuy de Queiroz |
Springer |
_ |
2011 |
|
|
Logic, Language, Information and Computation
|
Luke OngRuy de Queiroz |
Springer |
_ |
2012 |
|
|
Logic, Language, Information and Computation
|
Daniel LeivantRuy de Queiroz |
Springer |
_ |
2007 |
|
|
Logic, Language, Information and Computation
|
Hiroakira OnoMakoto KanazawaRuy de Queiroz |
Springer |
_ |
2009 |
|
|
Logic, Language, Information and Computation
|
Anuj DawarRuy de Queiroz |
Springer |
_ |
2010 |
|
|
Logic, Language, Information and Computation
|
Wilfrid HodgesRuy de Queiroz |
Springer |
_ |
2008 |
|
|
Logic, Rationality, and Interaction
|
Hans van DitmarschJ�r�me LangShier Ju |
Springer |
_ |
2011 |
|
|
Logic, Rationality, and Interaction
|
Xiangdong HeJohn HortyEric Pacuit |
Springer |
_ |
2009 |
|
|
Logic-Based Program Synthesis and Transformation
|
Mar�a Alpuente |
Springer |
_ |
2011 |
|
|
Logic-Based Program Synthesis and Transformation
|
Germ�n Puebla |
Springer |
_ |
2007 |
|
|
Logic-Based Program Synthesis and Transformation
|
Annalisa Bossi |
Springer |
_ |
2000 |
|
|
Logic-Based Program Synthesis and Transformation
|
Andy King |
Springer |
_ |
2008 |
|
|
Logic-Based Program Synthesis and Transformation
|
Michael Hanus |
Springer |
_ |
2009 |
|
|
Logic-Based Program Synthesis and Transformation
|
Danny De Schreye |
Springer |
_ |
2010 |
|
|
Logic-Based Program Synthesis and Transformation
|
Pierre Flener |
Springer |
_ |
1999 |
|
|
Logic-Based Program Synthesis and Transformation
|
Germ�n Vidal |
Springer |
9783642322112 |
2012 |
|
|
Logical Approaches to Computational Barriers
|
Arnold BeckmannUlrich BergerBenedikt L�weJohn V. Tucker |
Springer |
_ |
2006 |
|
|
Logical Aspects of Computational Linguistics
|
Denis B�chetAlexander Dikovsky |
Springer |
_ |
2012 |
|