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
Professionelle VerkäuferBuchzahl: w193b
€ 20.00 | CHF 19.5]
Sonstige Stichworte: logica