SPASS - PDFSEARCH.IO - Document Search Engine

SPASS
Results: 263

#	Item
91	Praktisches Lernen und die aktuelle Schulreform: Eine Standortbestimmung Es macht Spass. Berliner Schülerinnen und Schüler züchten Regenwürmer, nutzen den fruchtbaren Humus für den Schulgarten und lernen fast nebenb Add to Reading List Source URL: www.plus-berlin.de Language: German - Date: 2012-05-14 06:17:45
92	1\| Raus aus der Puppenstube? Von wegen. Egal ob Knallfarben, zarte Softeistöne oder kindliche Formgebung, Der Trend ist kindlich. Maxima öffnet Spiel, SpaSS & Fantasie Tür und Tor. von karin boba, Illustration Padm Add to Reading List Source URL: www.nikazupanc.com Language: German - Date: 2011-03-20 14:22:32
93	Vorwort Hatte ich das nicht schonmal - vorigen Sommer auch ein Solo-Töpferblatt? Aber diesmal gibt es viele gute Artikel und darum macht es auch viel mehr Spass! Add to Reading List Source URL: www.kalkspatz.de Language: German - Date: 2007-12-22 16:28:00
94	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
95	Bild Hüpfburgen Bezeichnung Hindernisparcours Pirat XXL Add to Reading List Source URL: www.spass-verleih.de Language: German - Date: 2015-02-18 10:25:58
96	PROFIL 2015 ELTERN FAMILY FÜR DAS GROSSE ABENTEUER FAMILIE FAMILIE IST GLÜCK! FAMILIE MACHT SPASS! Marie-Luise Lewicki Add to Reading List Source URL: ems.guj.de Language: German - Date: 2015-03-03 11:18:13
97	PROFIL 2015 ELTERN FAMILY FÜR DAS GROSSE ABENTEUER FAMILIE FAMILIE IST GLÜCK! FAMILIE MACHT SPASS! Marie-Luise Lewicki Add to Reading List Source URL: www.gujmedia.de Language: German - Date: 2015-03-03 11:18:13
98	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS Paul Gottlieb Nipkow Satisfiability Modulo Theories Theoretical computer science Mathematical software Applied mathematics
99	Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS KeY QuickCheck Theoretical computer science Mathematical software Software
100	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics

UPDATE