Page 1 from 418 hits

Sort by: Relevancy | Date newest | Title A-Z

  1.  

    Face Recognition: Canonical Mechanisms at Multiple Timescales

    Giese, M. A. | British Library Online Contents | 2016
  2.  

    Orale Verabreichung von DNA an Insekten

    Giese, M. | Fraunhofer Publica | 2009
  3.  

    First-Order Logic

    Giese, M. | British Library Online Contents | 2007
  4.  

    Die Tuchschale

    Giese, M. | British Library Online Contents | 2007
  5.  

    Superposition-based Equality Handling for Analytic Tableaux

    Giese, M. | British Library Online Contents | 2007
  6.  

    Superposition-based Equality Handling for Analytic Tableaux

    Giese, M. | British Library Conference Proceedings | 2007
  7.  

    Saturation Up to Redundancy for Tableau and Sequent Calculi

    Giese, M. | British Library Conference Proceedings | 2006
  8.  

    Saturation Up to Redundancy for Tableau and Sequent Calculi

    Giese, M. | British Library Online Contents | 2006
  9.  

    Die Tuchschale - ein flexibles Lagerungssystem

    Giese, M. | British Library Online Contents | 2006
  10.  

    A Calculus for Type Predicates and Type Coercion

    Giese, M. | British Library Conference Proceedings | 2005
  11.  

    A Calculus for Type Predicates and Type Coercion

    Giese, M. | British Library Online Contents | 2005
  12.  

    Taclets and the KeY Prover

    Giese, M. | British Library Online Contents | 2004
  13.  

    Simplification Rules for Constrained Formula Tableaux

    Giese, M. | British Library Online Contents | 2003
  14.  

    Simplification Rules for Constrained Formula Tableaux

    Giese, M. | British Library Conference Proceedings | 2003
  15.  

    Probabilistic Logic with Conditional Independence Formulae

    Ivanovska, M. / Giese, M. | British Library Conference Proceedings | 2011
  16.  

    Probabilistic Logic with Conditional Independence Formulae

    Ivanovska, M. / Giese, M. | British Library Conference Proceedings | 2010

Number of results: 10 | 20 | 50