Zeitlogik: Von Philosophie und Beweistheorie zur Künstlichen Intelligenz
Ø 0.0
0 Bewertungen
71,70 €
Calculi of temporal logic are widely used in modern computer science. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities.
Jetzt bei Ebay:
-
EAN:9789811268533
-
UPC:9789811268533
-
ISBN:9789811268533
-
Format:Hardback, 220 pages
-
Author:Stefania Centrone
-
Book Title:Temporal Logic: From Philosophy and Proof Theory t
-
Item Height:1.4 cm
-
Item Length:22.9 cm
-
Item Weight:0.47 kg
-
Item Width:15.2 cm
-
Language:Eng
-
Publisher:World Scientific Publishing Company
-
Expressversand:International Priority Shipping 13,71 EUR - Lieferung zwischen 21. July 2025 und 23. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Ö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, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, 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, Saudi-Arabien, Südafrika, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, Vereinigte Arabische Emirate
-
Versand ausgeschlossen:Isle of Man , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Niue , Palau , Indonesien , Malaysia , Thailand , Israel , ... und weitere