Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz.

by Libkin, Leonid [editor.] | Kohlenbach, Ulrich [editor.] | Queiroz, Ruy de [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Logic, Language, Information, and Computation [electronic resource] : 21st International Workshop, WoLLIC 2014, Valpara�iso, Chile, September 1-4, 2014. Proceedings / edited by Ulrich Kohlenbach, Pablo Barcel�o, Ruy de Queiroz.

by Kohlenbach, Ulrich [editor.] | Barcel�o, Pablo [editor.] | Queiroz, Ruy de [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available