Temur Kutsia – författare & böcker

Del 13467 - Lecture Notes in Computer Science

Intelligent Computer Mathematics

15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings

Häftad, Engelska, 2022

562 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022. The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.

Intelligent Computer Mathematics

15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings

AvTemur Kutsia,Kevin Buzzard

E-bok

Engelska, 2022

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022.

The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.

Del 16093 - Lecture Notes in Computer Science

Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I

AvGiovanni Casini,Besik Dunduam. fl.

Häftad, Engelska, 2025

739 kr

Skickas inom 5-8 vardagar

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.

Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part I

AvTemur Kutsia,Besik Dunduam. fl.

E-bok

Engelska, 2025

944 kr

Läs direkt efter köp

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.

Del 16094 - Lecture Notes in Computer Science

Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part II

AvGiovanni Casini,Besik Dunduam. fl.

Häftad, Engelska, 2025

739 kr

Skickas inom 5-8 vardagar

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.

Logics in Artificial Intelligence

19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1-4, 2025, Proceedings, Part II

AvTemur Kutsia,Besik Dunduam. fl.

E-bok

Engelska, 2025

944 kr

Läs direkt efter köp

This two-volume set LNAI 16093-16094 constitutes the proceedings of the 19th European Conference on Logics in Artificial Intelligence, JELIA 2025, held in Kutaisi, Georgia, during September 1–4, 2025.The 39 full papers and 5 short papers included in this volume were carefully reviewed and selected from 108 submissions. They were organized in the following topics:Part I: Special Track: Logics for Explainable and Trustworthy AI; Argumentation; Constraint Satisfaction and Optimization; Deontic Reasoning; Description Logics and Ontological Reasoning; Higher-order and Non-classical Logics; Logic Programming and Answer Set Programming.Part II: Non-monotonic Reasoning and Belief Change; Propositional Reasoning, QBF, and Satisfiability Problems; Temporal Reasoning; Theorem Proving.

Del 10693 - Lecture Notes in Computer Science

Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

AvJohannes Blömer,Ilias S. Kotsireasm. fl.

Häftad, Engelska, 2017

562 kr

Skickas inom 10-15 vardagar

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.

Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

AvDimitris E. Simos,Temur Kutsiam. fl.

E-bok

Engelska, 2017

734 kr

Läs direkt efter köp

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.

The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.

Algebraic Biology

Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings

AvHirokazu Anai,Katsuhisa Horimotom. fl.

Häftad, Engelska, 2007

546 kr

Skickas inom 10-15 vardagar

This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods. Papers also examine solutions to problems in biology using symbolic methods.

Algebraic Biology

Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings

AvTemur Kutsia,Katsuhisa Horimotom. fl.

E-bok

PDF, Engelska, 2007

712 kr

Läs direkt efter köp

Företag, bibliotek eller offentlig verksamhet?

Temur Kutsia – författare

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Mathematical Aspects of Computer and Information Sciences

Mathematical Aspects of Computer and Information Sciences

Algebraic Biology

Algebraic Biology

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration