Rezultati pretraživanja
  1. 30. sij

    Smart induction for Isabelle/HOL (System description). ~ Yutaka Nagashima.

    1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
  2. prije 23 sata

    A formal development cycle for security engineering in Isabelle. ~ Florian Kammüller.

    1 proslijeđeni tweet 1 korisnik označava da mu se sviđa
  3. 1. velj

    Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL. ~ Albert Rizaldi.

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
  4. 1. velj

    Resumen de lecturas compartidas del 25 al 31 de enero de 2020.

    2 korisnika označavaju da im se sviđa
  5. 1. velj

    : Teorema de Nicómaco.

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  6. 1. velj

    A hierarchy of algebras for boolean subsets. ~ Walter Guttmann, Bernhard Möller.

    2 proslijeđena tweeta 6 korisnika označava da im se sviđa
  7. 31. sij

    Searching the space of representations: reasoning through transformations for mathematical problem solving. ~ Daniel Raggi.

    5 korisnika označava da im se sviđa
  8. 25. sij

    Resumen de lecturas de programación funcional y demostración asistida por ordenador del 19 al 24 de enero.

    1 korisnik označava da mu se sviđa
  9. 24. sij

    Towards an Isabelle Theory for distributed, interactive systems-the untimed case. ~ Jens Christoph Bürger et als. ftp://ceur-ws.org/pub/publications/rwth/informatik/2020/2020-02.pdf

    3 korisnika označavaju da im se sviđa
  10. 24. sij

    : Reto f (f (f b)) = f b.

Nema rezultata.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.