Torthaí cuardaigh

Topaicí molta laistigh de do chuardach.
  • 1 - 4 toradh as 4 á dtaispeáint
Beachtaigh na torthaí
  1. 1
    Íomhá chlúdaigh

    Proof technology and computation

    Foilsithe / Cruthaithe 2006
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Imeacht comhdhála Ríomhleabhar

    Cuir le mo chuid Ceanán
    Sábháilte in:
  2. 2
    Íomhá chlúdaigh

    Conditional and preferential logics proof methods and theorem proving / de réir Pozzato, Gian Luca

    Foilsithe / Cruthaithe 2010
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar

    Cuir le mo chuid Ceanán
    Sábháilte in:
  3. 3
    Íomhá chlúdaigh

    Recent progress in the Boolean domain /

    Foilsithe / Cruthaithe 2014
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar

    Cuir le mo chuid Ceanán
    Sábháilte in:
  4. 4
    Íomhá chlúdaigh

    The little prover / de réir Friedman, Daniel P., Eastlund, Carl

    Foilsithe / Cruthaithe 2015
    An electronic book accessible through the World Wide Web; click to view
    Leictreonach Ríomhleabhar

    Cuir le mo chuid Ceanán
    Sábháilte in:

Uirlisí cuardaigh: