Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Theorem Proving in Higher Order Logics: 15th Internation... | Buch | Zustand gut

Name: Theorem Proving in Higher Order Logics: 15th Internation... | Buch | Zustand gut
Brand: not specified
SKU: 135789064854
Price: 49.84 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

49,84 €

(Schutzumschlag, Cover, Booklet, Hülle, Box, Anleitung). Schutzumschlag kann unter Umständen fehlen. Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA von not specified | Buch | Zustand gut.

Jetzt bei Ebay:

Zum Angebot *

Marke:

not specified
EAN:

9783540440390
Buchtitel:

Theorem Proving in Higher Order Logics: 15th International C...
ISBN:

9783540440390
Reihe:

Lecture Notes in Computer Science
Produktart:

Lehrbuch
Format:

Taschenbuch
Erscheinungsjahr:

2002
Anzahl der Seiten:

364 Seiten
Autor:

Cesar A. Munoz, Victor A. Carreno, Sofiene Tahar
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Theorem Proving in Higher Order Logics
Sprache:

Englisch

Sparversand:

Deutsche Post Warensendung kostenlos - Lieferung zwischen 22. May 2025 und 24. May 2025 (bei heutigem Zahlungseingang)
Standardversand:

Paketversand 2,99 EUR - Lieferung zwischen 21. May 2025 und 22. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Europa
Versand ausgeschlossen:

Russische Föderation , Albanien , Andorra , Bosnien und Herzegowina , Bulgarien , Estland , Frankreich , Gibraltar , Großbritannien , Guernsey , ... und weitere