Author: Braffort, P. and F. van Scheepen (editors)
Title: Automation in language translation and theorem proving. Some applications of mathematical logic
Description: Commission EC, 1968. cloth, 295 pp, dustwrappers, . Wij berekenen binnen Nederland 3,95 euro verzendkosten ongeachte gewicht of omvang van de bestelling.
Keywords: logica
See more books from our catalog: logica
Title: Automation in language translation and theorem proving. Some applications of mathematical logic
Description: Commission EC, 1968. cloth, 295 pp, dustwrappers, . Wij berekenen binnen Nederland 3,95 euro verzendkosten ongeachte gewicht of omvang van de bestelling.
Keywords: logica
Price: EUR 20.00 = appr. US$ 21.74 Seller: Antiquariaat Van Starkenburg
- Book number: w193b
- Book number: w193b
See more books from our catalog: logica