Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Advances in Natural Deduction electronic resource A Celebration of Dag Prawitz's Work / edited by Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva.

by Pereira, Luiz Carlos [editor.] | Haeusler, Edward Hermann [editor.] | de Paiva, Valeria [editor.] | SpringerLink (Online service).

Series: Trends in Logic, Studia Logica LibrarySource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
2.
Logic, Language, Information, and Computation electronic resource 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.

by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages