IMSc Library catalog › Results of search for 'au:"Dowek, Gilles"'

Your search returned 6 results.

Not what you expected? Check for suggestions

			Proofs and algorithms An introduction to logic and computability by Dowek, Gilles. Series: Undergraduate topics in computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOW. Place hold Log in to add tags
			Introduction to the theory of programming languages by Dowek, Gilles \| Levy, Jean-Jacques. Series: Undergraduate topics in computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: New york ; Springer ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 45 Call number: 681.3 DOW. Place hold Log in to add tags
			Principles of programming languages by Dowek, Gilles. Series: Undergraduate topics in computer scienceMaterial type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: London ; Springer ; 2009Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 50, Shelf No: 14 Call number: 681.9 DOW. Place hold Log in to add tags
			Theorem Proving in Higher Order Logics [electronic resource] : 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings / edited by Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin. by Bertot, Yves [editor.] \| Dowek, Gilles [editor.] \| Théry, Laurent [editor.] \| Hirschowitz, André [editor.] \| Paulin, Christine [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1690Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999Online 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] : Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers / edited by Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller. by Dowek, Gilles [editor.] \| Heering, Jan [editor.] \| Meinke, Karl [editor.] \| Möller, Bernhard [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 1074Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online 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] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Alessandro Armando, Peter Baumgartner, Gilles Dowek. by Armando, Alessandro [editor.] \| Baumgartner, Peter [editor.] \| Dowek, Gilles [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5195Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online 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