Search results
From Termination-Portal.org
Jump to navigationJump to search
Page title matches
- |text=The [[Termination Competition 2012]] takes place "live" during the [http://ijcar.cs.manchester.ac.uk/ IJCAR co |date=June 26 - June 29, 2012236 bytes (31 words) - 08:46, 28 June 2012
Page text matches
- |text=The [[Termination Competition 2012]] takes place "live" during the [http://ijcar.cs.manchester.ac.uk/ IJCAR co |date=June 26 - June 29, 2012236 bytes (31 words) - 08:46, 28 June 2012