Ulrich Kühler Kühler A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations

A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations

von Ulrich Kühler

EUR 33,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Ulrich Kühler

Stimmen zu »A Tactic-Based Inductive Theorem Prover for Data Types with Partial Operations«

Details

ISBN: 9783898382380
Verlag: Akademische Verlagsgesellschaft AKA
Erscheinung: 06.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