Gå til søgefeltetSpring over til navigationSpring til hovedindhold

Focused Natural Deduction

Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
 Peer-review

Publikation information

Produktionstype

Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
 Peer-review

Originalsprog

Engelsk

Sider fra-til (Antal sider)

Sider 157 (15 sider)

Publikationsmilepæle

  • Udgivet - 2010

Publikationsstatus

Udgivet - 2010

Forlag

Springer, USA, Tyskland

Bogserie

  • Bogserienavn: Lecture Notes in Computer Science
    Serienummer: 6397

Kapitelnummer

171

Publication IDs

  • Scopus: 78449240760

Titel på værtspublikation

roceeding of the 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning