SPASS

#	Item
261	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software
262	visu’l Mit Spass und Leidenschaft Add to Reading List Source URL: www.textatelier.ch Language: German - Date: 2011-05-27 09:51:32
263	1. BIS 30. JUNI 2013 MITMACHEN. GESUND BLEIBEN. SPASS HABEN. Add to Reading List Source URL: www.biketowork.ch Language: German - Date: 2012-12-12 05:56:30