External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

cardT:::A:::P: Automated Deduction on a Smart Card

Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt. cardT:::A:::P: Automated Deduction on a Smart Card. In Grigoris Antoniou, John K. Slaney, editors, Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI 98, Brisbane, Australia, July 13-17, 1998, Selected Papers. Volume 1502 of Lecture Notes in Computer Science, pages 239-247, Springer, 1998.

Authors

Andrew Slater

This author has not been identified. Look up 'Andrew Slater' in Google

Rajeev Goré

This author has not been identified. Look up 'Rajeev Goré' in Google

Joachim Posegga

This author has not been identified. Look up 'Joachim Posegga' in Google

Harald Vogt

This author has not been identified. Look up 'Harald Vogt' in Google
runs on