Automated Theorem Proving: Theory and Practice by Monty Newborn: New

eBay International Shipping 21,69 EUR - Lieferung zwischen 25. July 2025 und 04. August 2025 (bei heutigem Zahlungseingang)

eBay International Shipping 24,47 EUR - Lieferung zwischen 25. July 2025 und 04. August 2025 (bei heutigem Zahlungseingang)

USA, Dänemark, Guatemala, Neuseeland, Fidschi, Papua-Neuguinea, Salomonen, Vatikan, Sierra Leone, Nauru, Wallis und Futuna, Anguilla, El Salvador, Gambia, Dominikanische Republik, Malaysia, Kamerun, Guyana, Taiwan, Aserbaidschan, Polen, Macau, Georgien, Oman, Suriname, Tonga, Vereinigte Arabische Emirate, Kenia, Argentinien, San Marino, Guinea-Bissau, Armenien, Usbekistan, Bhutan, Eritrea, Senegal, Togo, St. Kitts und Nevis, Marokko, Irland, Katar, Burundi, St. Vincent und die Grenadinen, Niederlande, Slowakei, Slowenien, Äquatorialguinea, Thailand, Mauretanien, Belize, Philippinen, Aruba, Kongo, Demokratische Republik, , Kongo, Republik, Schweden, Kolumbien, Spanien, Island, Estland, Mazedonien, Belgien, Kuwait, Liechtenstein, Benin, Algerien, Bermuda, Montserrat, Sambia, Südkorea, Antigua und Barbuda, Vanuatu, Ecuador, Albanien, Italien, Swasiland, Äthiopien, Monaco, Niger, Tansania, Pakistan, Burkina Faso, Panama, Singapur, Kirgisistan, Schweiz, Ghana, Dschibuti, Puerto Rico, Chile, China, Kap Verde, Moldawien, Mali, Botsuana, Republik Kroatien, Kambodscha, Madagaskar, Indonesien, Portugal, Malta, Tadschikistan, Vietnam, Kaimaninseln, Paraguay, Zypern, Seychellen, Liberia, Ruanda, Bangladesch, Bolivien, Malediven, Australien, Österreich, Gibraltar, Sri Lanka, Hongkong, Zentralafrikanische Republik, Gabun, Lesotho, Nigeria, Simbabwe, Mauritius, St. Lucia, Bulgarien, Guinea, Tschechische Republik, Norwegen, Kanada, Côte d'Ivoire (Elfenbeinküste), Turks- und Caicosinseln, Tschad, Kiribati, Andorra, Turkmenistan, Grenada, Griechenland, Rumänien, Costa Rica, Haiti, Indien, Grönland, Jemen, Mexiko, Afghanistan, Serbien, Kasachstan, Montenegro, Saudi-Arabien, Japan, Nepal, Bahamas, Litauen, Bahrain, Trinidad und Tobago, Großbritannien, Malawi, Bosnien und Herzegowina, Ungarn, Angola, Nicaragua, Finnland, Tunesien, Luxemburg, Uganda, Brasilien, Türkei, Samoa (Westsamoa), Frankreich, Deutschland, Ägypten, Lettland, Jamaika, Mosambik, Namibia, Peru, Brunei Darussalam, Honduras