Scientific Library of Tomsk State University

   E-catalog        

Your search returned 3 results.

Sort
Results
1.
Term Rewriting and Applications (vol. # 4098) Электронный ресурс 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings edited by Frank Pfenning.

by Pfenning, Frank | 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
2.
Automated Deduction – CADE-21 Электронный ресурс 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning.

by Pfenning, Frank | 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 :
3.
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning.

by Pfenning, 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 :
Pages