Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Buch
paperback
Kategorie: Angewandte Mathematik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Stammpreis: 82.91 EUR
Rabatt: -31 %
Preis: 56.38 EUR
(Preis aktualisiert am 23.09.2024)

Kostenloser Versand nach Österreich, Deutschland, Schweiz und EU mehr

Bewertung der Leser und Kommentare: Amazon

Weitere Angebote
Auf der Suche nach einem günstigeren Preis...
Auf der Suche nach einem günstigeren Preis...
Auf der Suche nach einem günstigeren Preis...
Auf der Suche nach einem günstigeren Preis...
Auf der Suche nach einem günstigeren Preis...
Auf der Suche nach einem günstigeren Preis...
Amazon.de: Den Preis prüfen Preis prüfen

Fehler beim Suchen.