Theorem Proving in Higher Order Logics | Hugendubel.de

(Anzeige / Weiterleitung bei Klick zum Shop)
zum Anbieter: Theorem Proving in Higher Order Logics | Hugendubel.de
96,49*
versandkostenfrei in Deutschland *, gefunden bei Hugendubel.de
 

Theorem Proving in Higher Order Logics ab 96.49 € als pdf eBook: 13th International Conference TPHOLs 2000 Portland OR USA August 14-18 2000 Proceedings.

Der Artikel hat 0 Kommentar(e).
Sie können hier einen eigenen Kommentar verfassen.


* Für den angezeigten Preis wird keine Gewähr übernommen. Bitte besuchen Sie den Partnershop, um sich über den aktuellen Preis zu informieren. Bei Arzneimitteln lesen Sie die Packungsbeilage oder fragen Sie den Arzt oder Apotheker.