Login / Signup

Anderson and Belnap's Invitation to Sin.

Alasdair Urquhart
Published in: J. Philos. Log. (2010)
Keyphrases
  • computer science
  • recent advances
  • model checking
  • knowledge base