Automatisierung von Terminierungsbeweisen

Name: Automatisierung von Terminierungsbeweisen
ISBN: 9783528047719

Christoph Walther (auth.), Wolfgang Bibel (eds.)

0 / 0

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

Κατηγορίες:

Έτος:

1991

Έκδοση:

Εκδότης:

Vieweg+Teubner Verlag

Γλώσσα:

german

Σελίδες:

253

ISBN 10:

3528047712

ISBN 13:

9783528047719

Σειρές:

Artificial Intelligence / Künstliche Intelligenz

Αρχείο:

PDF, 10.28 MB

IPFS:

german, 1991

Αυτό το βιβλίο δεν είναι διαθέσιμο για λήψη λόγω καταγγελίας του κατόχου των πνευματικών δικαιωμάτων

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Ίσως σας ενδιαφέρει