polski   English  
 

dLibra Digital Library

polski   English  

Edition

Export metadata

oai   rdf   ris   bibtex

Favourite positions

Tagging
just private
Please login or register to use additional features!

Save this address

  • Add to bookmarks
  • bookmarks

Edition description

On the SMT-based Verification of Communicative Commitments

Show publication content!
    Type:
    • artykuł
    Language:
    • eng