IST Austria Library catalog › Results of search for 'ccl=su:"Symbolic and Algebraic Manipulation." and su-to:Artificial intelligence and su-to:Software engineering'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Relational Methods in Computer Science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 1621, 2001 Revised Papers / edited by Harrie C.M. Swart. by Swart, Harrie C. M. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	2.	Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.). by CPP 2012 (2012 : Kyoto, Japan) \| Hawblitzel, Chris \| Miller, Dale (Dale A.). Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags

IST Austria Library