Sortiert nach
Automated Deduction - CADE-25, p.419-433
Link zum Volltext
Automated Reasoning, p.330-345
Link zum Volltext
Automated Deduction - CADE-25, p.467-481
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146
Link zum Volltext
Computer Aided Verification, p.306-320
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, Vol.7180, p.406-419
2012
Link zum Volltext
Automated Deduction - CADE-25, p.285-294
Link zum Volltext
Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346
Link zum Volltext
Towards Autonomous Robotic Systems, 2016, p.295-300
2016
Link zum Volltext
Intelligent Computer Mathematics, p.169-183
Link zum Volltext
Automated Deduction - CADE-25, 2015, p.311-325
2015
Link zum Volltext
Automated Reasoning, 2014, p.122-136
2014
Link zum Volltext
Database Theory — ICDT 2003, 2003, p.207-224
2003
Link zum Volltext
KI 2015: Advances in Artificial Intelligence, p.256-263
Link zum Volltext
Intelligent Human Systems Integration 2020, p.271-275
Link zum Volltext
Automated Deduction – CADE-23, p.131-146
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.28-42
Link zum Volltext
Frontiers of Combining Systems, p.87-102
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.673-686
Link zum Volltext
Graphics Recognition. Current Trends and Challenges, p.38-49
Link zum Volltext
Pattern Recognition and Image Analysis, p.159-168
Link zum Volltext
Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018, p.71-82
Link zum Volltext
Pattern Recognition, p.17-31
Link zum Volltext
Rule Technologies: Foundations, Tools, and Applications, p.311-327
Link zum Volltext
Fuzzy Information and Engineering and Decision, p.282-296
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Artificial Intelligence
- Predicate Symbol
- Function Symbol
- Computer Science, Information Systems
- Theoretical Computing
- Computer Science, Software Engineering
- Logic Program
- Software
- Learning And Adaptive Systems
- Logical, Boolean And Switching Functions
- Computer Science, Interdisciplinary Applications
- Imaging Science & Photographic Technology
Kollektion
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Logic For Programming, Artificial Intelligence, And Reasoning
- Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings
- Knowledge-Based Intelligent Information And Engineering Systems
- Knowledge-Based Intelligent Information And Engineering Systems, Pt 2, Proceedings
- String Processing And Information Retrieval
- String Processing And Information Retrieval, Proceedings
- Automated Deduction - Cade-25
- Computer Science - Theory And Applications
- Computer Science – Theory And Applications