[Lecture Notes in Computer Science] Word Equations and Related Topics Volume 677 || Theorem proving by combinatorial optimization
Abdulrab, Habib, Pécuchet, Jean-PierreVolume:
10.1007/3-
Year:
1993
Language:
english
DOI:
10.1007/3-540-56730-5_33
File:
PDF, 331 KB
english, 1993