Klaus Weich Weich Improving Proof Search in Intuitionistic Propositional Logic

Improving Proof Search in Intuitionistic Propositional Logic

von Klaus Weich

Preis unbekannt

Buch in deiner Nähe kaufen

oder

Beschreibung

Autor*in

Klaus Weich

Stimmen zu »Improving Proof Search in Intuitionistic Propositional Logic«

Details

ISBN: 9783897227675

Verlag: Logos Berlin

Erscheinung: 2001

Link teilen

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

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