Hoppa till sidans huvudinnehåll

J. Siekmann - Böcker

Visar alla böcker från författaren J. Siekmann.
2 produkter

Automation of Reasoning

Classical Papers on Computational Logic 1957–1966

AvJ. Siekmann,G. Wrightson m. fl.

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar

Automation of Reasoning

2: Classical Papers on Computational Logic 1967–1970

AvJ. Siekmann,G. Wrightson m. fl.

Häftad, Engelska, 2012

1 369 kr

Skickas inom 10-15 vardagar