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.
Automated Reasoning with Analytic Tableaux and Related Methods Электронный ресурс 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings / edited by Nicola Olivetti.

by Olivetti, Nicola | 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 :
Log in to add tags Add to cart
2.
Proof Theory for Fuzzy Logics Электронный ресурс by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise.

by Metcalfe, George | Barwise, Jon | Gabbay, Dov M | Gabbay, Dov | Olivetti, Nicola | SpringerLink (Online service).

Series: Applied Logic SeriesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart
Pages