Items where Author is "Groote, Jan Friso"

Number of items: 1.
Article
  • Binary decision diagrams for first-order predicate logic. (2003) Jan Friso Groote and Olga Tveretina
    • This list was generated on Sun Sep 13 01:35:55 2026 BST.