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
2023 IEEE 98th Vehicular Technology Conference (VTC2023-Fall), 2023, p.1-5
2023
Link zum Volltext
2023 IEEE 98th Vehicular Technology Conference (VTC2023-Fall), 2023, p.1-6
2023
Link zum Volltext
2012, 2012
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
Frontiers in Handwriting Recognition, p.231-244
Link zum Volltext
Frontiers in Handwriting Recognition, p.112-121
Link zum Volltext
Automated Deduction - CADE-25, p.285-294
Link zum Volltext
2023 IEEE 98th Vehicular Technology Conference (VTC2023-Fall), 2023, p.1-5
2023
Link zum Volltext
Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346
Link zum Volltext
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.10103-10113
2023
- 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
2023 32nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), 2023, p.1170-1175
2023
- Link zum Volltext
Database Theory — ICDT 2003, 2003, p.207-224
2003
Link zum Volltext
2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2023, p.15028-15038
2023
- Link zum Volltext
KI 2015: Advances in Artificial Intelligence, p.256-263
Link zum Volltext
New Trends in Database and Information Systems II, p.109-120
Link zum Volltext
Intelligent Human Systems Integration 2020, p.271-275
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
- Engineering
- Symbols
- Engineering, Electrical & Electronic
- Predicate Symbol
- Computer Science, Information Systems
- Function Symbol
- Computer Science, Software Engineering
- Computer Science, Interdisciplinary Applications
- Theoretical Computing
- Logic Program
- Imaging Science & Photographic Technology
Kollektion
- HEAL-Link subscriptions: Springer Book Series
- IngentaConnect
- IEEE/IET Electronic Library (IEL)
- Springer Books
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- ACM Digital Library Complete
- SpringerLink (Online service)
- Taylor & Francis eBooks A-Z
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
Zeitschrift / Serie
Neu hinzugefügt