Blanchette - Interaktiver Satz, der 7. Internationale Konferenz beweist - J555z
Ø 0.0
0 Bewertungen
73,36 €
The Title is Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Category - MATHEMATICS / Logic. Hours of Service. This is a great gift idea.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:MATHEMATICS / Logic
-
Brand:NA
-
Weight:0.73
-
Style:NA
-
Title:Interactive Theorem Proving 7th International Conference ITP 2
-
Release Title:Interactive Theorem Proving 7th International Conference ITP 2
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Interactive Theorem Proving 7th International Conference ITP
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Perfect
-
Item Length:233.93
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9783319431437
-
Expressversand:International Priority Shipping 12,09 EUR - Lieferung zwischen 22. July 2025 und 25. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Afghanistan , Libyen , Nauru , Somalia , Jemen , Israel , Iran , Russische Föderation , Irak , Libanon