Sortiert nach
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
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
Automated Deduction - CADE-25, p.419-433
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
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
Automated Deduction – CADE-23, p.131-146
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.28-42
Link zum Volltext
Recent Trends in Image Processing and Pattern Recognition, p.3-15
Link zum Volltext
Leveraging Applications of Formal Methods, Verification, and Validation, p.673-686
Link zum Volltext
Automated Reasoning, 2016, Vol.9706, p.313-329
2016
Link zum Volltext
Graphics Recognition. Current Trends and Challenges, p.38-49
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
- Computer Science, Interdisciplinary Applications
- Robotics
- Logical, Boolean And Switching Functions
Kollektion
- HEAL-Link subscriptions: Springer Book Series
- IngentaConnect
- Springer Books
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- IngentaConnect Journals
- Springer Online Journals
- ACM Digital Library
- Taylor & Francis eBooks A-Z
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEEE Electronic Library (IEL)
Zeitschrift / Serie