Portada

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING IBD

SPRINGER
06 / 2013
9781461275152
Anglès
PVP
121,36