Name: Higher Order Logic Theorem Proving and Its Applications
Price: 50.00 EUR
Availability: InStock
Author: Carl-Johan H. Seger
ISBN: 9783540578260

Higher Order Logic Theorem Proving and Its Applications von Carl-Johan H. Seger

Sie sparen 7% des UVP sparen 7%

Taschenbuch
Versandfertig in 1-2 Wochen
50,00 €

Sprache:
Englisch

ISBN:
9783540578260

Verlag:
Springer Berlin Heidelberg

Einband:
Taschenbuch

Seitenzahl:
536

Veröffentlicht:
28. April 1994

Abmessungen:
155x29x235 mm.

Gewicht:
803 g.

50,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Carl-Johan H. Seger

Alle Bücher von Carl-Johan H. Seger anzeigen

Kund*innenbewertungen von Higher Order Logic Theorem Proving and Its Applications

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Higher Order Logic Theorem Proving and Its Applications ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Rechtswissenschaft
Wirtschaft & Schule > Computer & IT
Wirtschaft & Schule > Wissenschaft
>
>
>
> >
> >
> >

Higher Order Logic Theorem Proving and Its Applications

Über Carl-Johan H. Seger

Kund*innenbewertungen von Higher Order Logic Theorem Proving and Its Applications

Willkommen bei den Tales Buchfreunden und -freundinnen