1995, ISBN: 0792335864
[EAN: 9780792335863], Neubuch, [PU: Springer Netherlands Sep 1995], INFORMATIK; LOGIK; PHILOSOPHIE / WISSENSCHAFTSPHILOSOPHIE; ARTIFICIALINTELLIGENCE; COMPUTER; COMPUTERSCIENCE; LANGUAGE;… Mehr…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1995, ISBN: 9780792335863
Gebunden, 424 Seiten, 241mm x 160mm x 28mm, Sprache(n): eng Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial s… Mehr…
buchfreund.de MARZIES Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57) - gebunden oder broschiert
1995, ISBN: 9780792335863
Springer, Hardcover, Auflage: 1995, 424 Seiten, Publiziert: 1995-09-30T00:00:01Z, Produktgruppe: Book, 1.71 kg, Books Global Store, Special Features, Books, Algorithms, Programming, Compu… Mehr…
amazon.co.uk Fireside Bookshop Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.50) Details... |
1995, ISBN: 0792335864
1995 Gebundene Ausgabe Informatik, Logik, Philosophie / Logik, Wissenschaftsphilosophie, Sprachwissenschaft, Linguistik, Wissenschaftsphilosophie und -theorie, ArtificialIntelligence; c… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) - gebunden oder broschiert
1995, ISBN: 0792335864
[EAN: 9780792335863], Neubuch, [PU: Springer], Books
AbeBooks.de Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 68.88 Details... |
1995, ISBN: 0792335864
[EAN: 9780792335863], Neubuch, [PU: Springer Netherlands Sep 1995], INFORMATIK; LOGIK; PHILOSOPHIE / WISSENSCHAFTSPHILOSOPHIE; ARTIFICIALINTELLIGENCE; COMPUTER; COMPUTERSCIENCE; LANGUAGE;… Mehr…
Per Hasle, Peter Øhrstrøm:
Temporal Logic From Ancient Ideas to Artificial Intelligence - gebunden oder broschiert1995, ISBN: 9780792335863
Gebunden, 424 Seiten, 241mm x 160mm x 28mm, Sprache(n): eng Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial s… Mehr…
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57) - gebunden oder broschiert
1995
ISBN: 9780792335863
Springer, Hardcover, Auflage: 1995, 424 Seiten, Publiziert: 1995-09-30T00:00:01Z, Produktgruppe: Book, 1.71 kg, Books Global Store, Special Features, Books, Algorithms, Programming, Compu… Mehr…
1995, ISBN: 0792335864
1995 Gebundene Ausgabe Informatik, Logik, Philosophie / Logik, Wissenschaftsphilosophie, Sprachwissenschaft, Linguistik, Wissenschaftsphilosophie und -theorie, ArtificialIntelligence; c… Mehr…
Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy, 57) - gebunden oder broschiert
1995, ISBN: 0792335864
[EAN: 9780792335863], Neubuch, [PU: Springer], Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
EAN (ISBN-13): 9780792335863
ISBN (ISBN-10): 0792335864
Gebundene Ausgabe
Erscheinungsjahr: 1995
Herausgeber: Springer
424 Seiten
Gewicht: 0,801 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-24T23:19:54+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-23T19:08:21+01:00 (Vienna)
ISBN/EAN: 0792335864
ISBN - alternative Schreibweisen:
0-7923-3586-4, 978-0-7923-3586-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: ohrstrom, peter hassler, rich
Titel des Buches: philosophy logic, temporal logic from ancient ideas artificial, studies linguistics and philosophy, artificial general intelligence
Daten vom Verlag:
Autor/in: Peter Øhrstrøm; Per Hasle
Titel: Studies in Linguistics and Philosophy; Temporal Logic - From Ancient Ideas to Artificial Intelligence
Verlag: Springer; Springer Netherland
416 Seiten
Erscheinungsjahr: 1995-09-30
Dordrecht; NL
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
VIII, 416 p.
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; artificial intelligence; computer; computer science; language; logic; science; time; Logic; Computer Science; Theoretical Linguistics / Grammar; Philosophy of Science; Informatik; Sprachwissenschaft, Linguistik; Wissenschaftsphilosophie und -theorie; BC
Introduction: Logic and the study of time.- Introduction: Logic and the study of time.- Time and Logic — From Synthesis to Dissociation.- The sea-fight tomorrow.- The master argument of Diodorus Cronus.- The study of tenses in the middle ages.- Temporal ampliation.- The duration of the present.- The logic of beginning and ending.- Time and consequentia.- Temporalis — the logic of ‘While’.- Human freedom and divine foreknowledge.- The downfall of medieval tense-logic.- Logic as a timeless science.- Time and Logic Reunited.- The 19th century and Boolean logic.- C.S. Peirce on time and modality.- ?ukasiewicz’s contribution to temporal logic.- A three-point structure of tenses.- A.N. Prior’s tense-logic.- The idea of branching time.- Tense logic and special relativity.- Some basic systems of temporal logic.- Four grades of tense-logical involvement.- Metric tense logic.- Modern issues in temporal logic.- Two paradigms of temporal logic.- Indeterministic tense logic.- Leibnizian tense logic.- Tense logic and counterfactual reasoning.- Logic of durations.- Graphs for time and modality.- Temporal logic and computer science.- Conclusion.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780585374635 Temporal Logic (Per Hasle; Peter ohrstrom)
< zum Archiv...