Temur Kutsia – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

10 produkter

Kategorier

10 produkter

Del 13467 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings
AvKevin Buzzard,Temur Kutsia
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
732 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
975 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
975 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
732 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
710 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