IMSc Library catalog › Results of search for 'au:"Stickel, Mark E."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			10th International Conference on Automated Deduction [electronic resource] : Kaiserslautern, FRG, July 24–27, 1990 Proceedings / edited by Mark E. Stickel. by Stickel, Mark E [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 449Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Online 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 and Mathematics [electronic resource] : Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel. by Bonacina, Maria Paola [editor.] \| Stickel, Mark E [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7788Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags