Dirk Fuchs Fuchs Cooperation in Heterogeneous Theorem Prover Networks

Cooperation in Heterogeneous Theorem Prover Networks

von Dirk Fuchs

EUR 33,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Dirk Fuchs

Stimmen zu »Cooperation in Heterogeneous Theorem Prover Networks«

Details

ISBN: 9783898382311
Verlag: Akademische Verlagsgesellschaft AKA
Erscheinung: 04.2000

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden