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
        94Formal methods / Automated theorem proving / Mathematical logic / Constraint programming / SPASS / Isabelle / Satisfiability Modulo Theories / Mathematical proof / Vampire / Theoretical computer science / Mathematics / Applied mathematics

        PDF Document

        Add to Reading List

        Source URL: www.cl.cam.ac.uk

        Language: English - Date: 2014-08-27 06:04:04
        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
              98Formal 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

              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
              99Formal methods / Computer law / Copyleft / Automated theorem proving / Logic in computer science / Isabelle / SPASS / KeY / QuickCheck / Theoretical computer science / Mathematical software / Software

              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
              100Formal methods / Automated theorem proving / Mathematical logic / Constraint programming / SPASS / Isabelle / Satisfiability Modulo Theories / Mathematical proof / Vampire / Theoretical computer science / Mathematics / Applied mathematics

              PDF Document

              Add to Reading List

              Source URL: isabelle.in.tum.de

              Language: English - Date: 2014-08-27 06:04:04
              UPDATE