Page 1 from 6,165 hits

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

Filter results

External sources

Searching...
  1.  

    Towards automated first-order abduction: the cut-based approach

    Finger, M. | British Library Online Contents | 2012
  2.  

    Analytic Methods for the Logic of Proofs

    Finger, M. | Online Contents | 2010
  3.  

    Vorwort • Avant-Propos

    Finger, M. | British Library Online Contents | 2010
  4.  

    Analytic Methods for the Logic of Proofs

    Finger, M. | British Library Online Contents | 2010
  5.  

    Using Abduction to Compute Efficient Proofs

    Finger, M. | British Library Online Contents | 2009
  6.  

    Conceptualizing “Smart Cities”

    Finger, M. / Razaghi, M. | British Library Online Contents | 2017
  7.  

    Smart Governance for Smart Cities

    Razaghi, M. / Finger, M. | British Library Online Contents | 2018
  8.  

    Preface

    Fernandez, M. / Finger, M. | British Library Online Contents | 2014
    Contributors: Finger, M.
  9.  

    Towards Polynomial Approximations of Full Propositional Logic

    Finger, M. | British Library Conference Proceedings | 2004
  10.  

    Towards Polynomial Approximations of Full Propositional Logic

    Finger, M. | British Library Online Contents | 2004
  11.  

    Polynomial Approximations of Full Propositional Logic via Limited Bivalence

    Finger, M. | British Library Conference Proceedings | 2004

Number of results: 10 | 20 | 50

Feedback