Mathematik - Heuerding, Alain Sequent Calculi for Proof Search in Some Modal Logics Theory Implementation Applications Inauguraldissertation Universität Bern Prof.Dr.G.Jäger o.J..

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Heuerding, Alain
Sequent Calculi for Proof Search in Some Modal Logics Theory Implementation Applications Inauguraldissertation Universität Bern Prof.Dr.G.Jäger
o.J..

gefunden im Sachgebiet: Mathematik

334 Seiten brosch. Kart. 17,5 x 25 cm

Guter Zustand

EUR8,00
inkl. MwSt. zzgl. Versand: EUR 4,00
Lieferzeit: 1 - 5 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 50 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Heuerding, Alain Sequent Calculi for Proof Search in Some Modal Logics Theory Implement ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Harbraugh, John W. und Daniel F. Merriam:
Coputer Applications in Stratigraphic Analysis

EUR 17,90
Details zum Buch...

Mathematik - Siebert, Horst [Hrsg.] , Enders, Klaus [Mitarb.]:
The resource sector in an open economy. with contributions by K. Enders ... Ed. by Horst Siebert, Lecture notes in economics and mathematical systems , 200

EUR 10,00
Details zum Buch...

Mathematik - Uebe, Götz:
Produktionstheorie. Unter Mitw. von Joachim Fischer, Lecture notes in economics and mathematical systems , 114

EUR 6,00
Details zum Buch...

Striebel, Charlotte:
Optimal control of discrete time stochastic systems. Lecture notes in economics and mathematical systems , 110

EUR 25,00
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren