Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

Sort
Results
1.
Logic, Language, and Computation [electronic resource] : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers / edited by Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter.

by Bezhanishvili, Guram [editor.] | Löbner, Sebastian [editor.] | Marra, Vincenzo [editor.] | Richter, Frank [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, 2013Online access: Click here to access online Availability: No items available :
2.
Algebraic and Proof-theoretic Aspects of Non-classical Logics Электронный ресурс Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara.

by Aguzzoli, Stefano | Ciabattoni, Agata | Gerla, Brunella | Manara, Corrado | Marra, Vincenzo | SpringerLink (Online service).

Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
Pages