Conditional and preferential logics : proof methods and theorem proving /

  1. Home
  2. Szczegóły

Opis

Pozzato, Gian Luca.

    Conditional and preferential logics : proof methods and theorem proving / Gian Luca Pozzato.
    Amsterdam [etc.] : IOS Press, cop. 2010. VIII, 200 s. : il. ; 25 cm.
    (Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; vol. 208)
    (Frontiers in Artificial Intelligence and Applications ISSN 0922-6389 208)
    ISBN 978-1-60750-094-0 (print)     ISBN 978-1-60750-095-7 (online)

   
T.15624        UKD: 164:162:510.6:007.3]=111