ISBN 3540120440 – Automation of Reasoning – 2: Classical Papers on Computational Logic 1967–1970
– Buch gebraucht, antiquarisch & neu kaufen
1 Treffer in
Bücher
gebraucht
Neuware
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 (Symbolic Computation)
Springer
ISBN: 3540120440
Zustand: deutliche Gebrauchsspuren
