Capa

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING IBD

SPRINGER
06 / 2013
9781461275152
Inglês