Braffort, P. and F. van Scheepen (editors)
Automation in language translation and theorem proving. Some applications of mathematical logic
Commission EC, 1968. cloth, 295 pp, dustwrappers, . Wij berekenen binnen Nederland 3,95 euro verzendkosten ongeachte gewicht of omvang van de bestelling.

Antiquariaat Van Starkenburg
Professional sellerBook number: w193b
€ 20.00 [Appr.: US$ 22.92 | £UK 17.25 | JP¥ 3327]
Keywords: logica