Artificial intelligence theory logic (45 résultats)

Soft cover. Etat : Very Good. Large (23x18cm) softcover in VG condition. 178 pages, with programming information throughout. [13oz]. Book.

paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.

Etat : New.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

paperback. Etat : New. Language:Chinese.Paperback. Pub Date: 2023-04 Pages: 180 Publisher: China Railway Publishing House This book takes the evolution of mathematical logic and algorithm theory as the main line. and discusses its main features in combination with the development of computer and artificial intelligence disciplines. This book is divided into 8 chapters. and the main contents include the mathematical history view of the unity of algorithmization and axiomatization. the mathematization of logic. the a.…

Etat : As New. Unread book in perfect condition.

HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.

Etat : New.

Original-kartoniert; Gr. 8°; x (ii) 334 Seiten. Gutes Exemplar. Sprache: Englisch Lecture Notes in Artificial Intelligence. Edited by J. Siekmann. Subseries of Lecture Notes in Computer Science. 465. 650 gr.

Hardcover. Etat : Very Good. No Jacket. no dustjacket. 337 pages. illus covers. Size: 8vo - over 7¾ - 9¾" tall. Book.

Etat : New.

Etat : As New. Unread book in perfect condition.

Etat : New. In English.

Hardback. Etat : New. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. 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. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.…

Etat : New. In English.

Etat : New. In English.

Hardcover. Etat : Brand New. 220 pages. 9.00x6.00x0.56 inches. In Stock.

paperback. Etat : Gut. 192 Seiten; 9780830604715.3 Gewicht in Gramm: 500.

paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Paperback. Etat : Brand New. 1st edition. 693 pages. 9.00x6.10x1.10 inches. In Stock.

Etat : New. In English.

Hardback. Etat : New. Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. 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. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science.The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy.…

Etat : New.

Etat : New.

Etat : New.

Etat : New. 1st ed. 2023 edition NO-PA16APR2015-KAP.

Etat : New. 1st ed. 2016 edition NO-PA16APR2015-KAP.

Etat : New. pp. 358.

Etat : New. Satisfaction Guaranteed or your money back.