Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh,
Ø 0.0
0 Bewertungen
131,63 €
In 1996, it was christened anew as Theorem Pr- ing in Higher-Order Logics, TPHOLs for short, and was henceforth organizedas a conference. rst-order logic. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.
Jetzt bei Ebay:
-
ISBN-13:9783642140518
-
Book Title:Interactive Theorem Proving
-
ISBN:9783642140518
-
Economy Shipping:Economy International Shipping 37,12 EUR - Lieferung zwischen 02. July 2025 und 11. July 2025 (bei heutigem Zahlungseingang)
-
Expedited shipping:eBay International Shipping 16,64 EUR - Lieferung zwischen 18. July 2025 und 30. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit, Neuseeland, Fidschi, Papua-Neuguinea, Wallis und Futuna, Marshallinseln, Gambia, Malaysia, Mayotte, Taiwan, Polen, Oman, Suriname, Vereinigte Arabische Emirate, Kenia, Argentinien, Guinea-Bissau, Armenien, Usbekistan, Bhutan, Senegal, Togo, Irland, Falklandinseln (Malwinen), Katar, Burundi, Niederlande, Slowakei, Slowenien, Äquatorialguinea, Thailand, Aruba, Amerikanisch-Samoa, Schweden, Island, Mazedonien, Belgien, Kuwait, Liechtenstein, Benin, Algerien, Antigua und Barbuda, Italien, Swasiland, Tansania, Pakistan, Burkina Faso, Panama, Singapur, Kirgisistan, Jersey, Schweiz, Dschibuti, Puerto Rico, Chile, China, Mali, Botsuana, Republik Kroatien, Kambodscha, Indonesien, Portugal, Malta, Tadschikistan, Vietnam, Kaimaninseln, Paraguay, St. Helena, Zypern, Seychellen, Ruanda, Bangladesch, Australien, Österreich, Sri Lanka, Gabun, Simbabwe, Bulgarien, Tschechische Republik, Norwegen, Côte d'Ivoire (Elfenbeinküste), Kiribati, Turkmenistan, Grenada, Griechenland, Haiti, Grönland, Jemen, Afghanistan, Montenegro, Mongolei, Nepal, Bahamas, Bahrain, Großbritannien, Svalbard und Jan Mayen, Dominica, Bosnien und Herzegowina, Ungarn, Angola, Samoa (Westsamoa), Frankreich, Mosambik, Namibia, Peru, Dänemark, Guatemala, Salomonen, Vatikan, Sierra Leone, Nauru, Anguilla, El Salvador, Guam, Mikronesien, Dominikanische Republik, Kamerun, Guyana, Aserbaidschan, Macau, Georgien, Tonga, San Marino, Eritrea, St. Kitts und Nevis, Marokko, St. Vincent und die Grenadinen, Mauretanien, Belize, Philippinen, Kongo, Demokratische Republik, , Kongo, Republik, Westsahara, Cookinseln, Komoren, Kolumbien, Spanien, Estland, Bermuda, Montserrat, Sambia, Südkorea, Somalia, Vanuatu, Ecuador, Albanien, Äthiopien, Monaco, Guernsey, Niger, Laos, Ghana, Kap Verde, Moldawien, Madagaskar, Saint-Pierre und Miquelon, Liberia, Bolivien, Malediven, Gibraltar, Hongkong, Zentralafrikanische Republik, Lesotho, Nigeria, Mauritius, St. Lucia, Guinea, Britische Jungferninseln, Kanada, Turks- und Caicosinseln, Tschad, Andorra, Rumänien, Costa Rica, Indien, Mexiko, Serbien, Kasachstan, Saudi-Arabien, Niederländische Antillen, Japan, Litauen, Trinidad und Tobago, Palau, Malawi, Nicaragua, Finnland, Tunesien, Luxemburg, Uganda, Türkei, Brasilien, Tuvalu, Deutschland, Ägypten, Lettland, Jamaika, Niue, Jungferninseln (USA), Südafrika, Brunei Darussalam, Honduras
-
Versand ausgeschlossen:Alaska/Hawaii , APO/FPO , Französisch-Polynesien , Libyen , Neukaledonien , Guadeloupe , Venezuela , Réunion , Barbados , Martinique , ... und weitere