Maschinelles Lernen für automatisierten Satzbeweis: Lernen, SAT und QSA zu lösen...
98,54 €
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT, ISBN 1680838989, ISBN-13 9781680838985, Like New Used, Free shipping in the US
Jetzt bei Ebay:
