IMSc Library catalog › Results of search for 'ccl=su:"Computer science" and su-to:Logics and Meanings of Programs'

Your search returned 7 results.

Not what you expected? Check for suggestions

			FM 2006: Formal Methods [electronic resource] : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings / edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev [editor.] \| Nipkow, Tobias [editor.] \| Sekerinski, Emil [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4085Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Automated Reasoning [electronic resource] : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings / edited by Rajeev Goré, Alexander Leitsch, Tobias Nipkow. by Goré, Rajeev [editor.] \| Leitsch, Alexander [editor.] \| Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2083Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Isabelle/HOL [electronic resource] : A Proof Assistant for Higher-Order Logic / edited by Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson. by Nipkow, Tobias [editor.] \| Wenzel, Markus [editor.] \| Paulson, Lawrence C [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 2283Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Types for Proofs and Programs [electronic resource] : International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers / edited by Henk Barendregt, Tobias Nipkow. by Barendregt, Henk [editor.] \| Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 806Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Higher-Order Algebra, Logic, and Term Rewriting [electronic resource] : First International Workshop, HOA'93 Amsterdam, The Netherlands, September 23–24, 1993 Selected Papers / edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow. by Heering, Jan [editor.] \| Meinke, Karl [editor.] \| Möller, Bernhard [editor.] \| Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 816Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1994Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Rewriting Techniques and Applications [electronic resource] : 9th International Conference, RTA-98 Tsukuba, Japan, March 30 – April 1, 1998 Proceedings / edited by Tobias Nipkow. by Nipkow, Tobias [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1379Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel. by Berghofer, Stefan [editor.] \| Nipkow, Tobias [editor.] \| Urban, Christian [editor.] \| Wenzel, Makarius [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5674Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha