![](/img/cover-not-exists.png)
Binary decision diagrams for first-order predicate logic
Jan Friso Groote, Olga TveretinaVolume:
57
Year:
2003
Language:
english
Pages:
22
DOI:
10.1016/s1567-8326(03)00039-0
File:
PDF, 257 KB
english, 2003