Sortiert nach
Document Analysis and Recognition – ICDAR 2023 Workshops, p.83-93
Link zum Volltext
Principles and Practice of Multi-Agent Systems, p.47-59
Link zum Volltext
Artificial General Intelligence, 2023, Vol.13921, p.207-216
2023
Link zum Volltext
Artificial General Intelligence, 2022, Vol.13154, p.41-44
2022
Link zum Volltext
Artificial General Intelligence, 2022, Vol.13154, p.184-195
2022
Link zum Volltext
Music in the AI Era, p.9-25
Link zum Volltext
Unconventional Computation and Natural Computation, p.280-292
Link zum Volltext
Computer Aided Verification, 2013, p.347-363
2013
Link zum Volltext
Runtime Verification, p.31-47
Link zum Volltext
Automated Deduction - CADE-25, p.467-481
Link zum Volltext
Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Link zum Volltext
Formal Methods and Software Engineering, 2022, Vol.13478, p.227-243
2022
Link zum Volltext
Combinatorial Algorithms, 2016, Vol.9538, p.321-333
2016
Link zum Volltext
Artificial General Intelligence, 2022, Vol.13154, p.30-40
2022
Link zum Volltext
Selected Areas in Cryptography – SAC 2023, p.346-366
Link zum Volltext
Bio-Inspired Information and Communications Technologies, 2023, Vol.512, p.178-189
2023
Link zum Volltext
Graphics Recognition. New Trends and Challenges, 2013, Vol.7423, p.198-207
2013
Link zum Volltext
Logic, Language, and Computation, p.51-72
Link zum Volltext
Document Analysis and Recognition - ICDAR 2023, p.227-243
Link zum Volltext
Document Analysis and Recognition - ICDAR 2023, p.202-217
Link zum Volltext
Geometric Science of Information, p.507-515
Link zum Volltext
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production, p.147-167
Link zum Volltext
Verified Software: Theories, Tools, Experiments, p.1-21
Link zum Volltext
Formal Methods and Software Engineering, 2015, Vol.9407, p.67-83
2015
Link zum Volltext
Pattern Recognition and Artificial Intelligence, p.41-54
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Function Symbol
- Computer Science, Theory & Methods
- Predicate Symbol
- Symbols
- Social Sciences
- Semiotics
- Communications
- Applied Sciences
- Principal Symbol
- Computer Science, Artificial Intelligence
- Logic Program
- Exact Sciences And Technology
- Input Symbol
- Relation Symbol
- Behavioral Sciences
- Computer Science; Control Theory; Systems
- Physical Sciences
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- HEAL-Link subscriptions: Springer Book Series
- Ingenta
- Wiley Online Library All Obooks
- ScienceDirect eBooks
- De Gruyter eBooks
- Oxford University Press Books All Titles
- IngentaConnect Journals
- Cambridge Core All Books
- Brill Online Books
- De Gruyter Open Access Books
- EZB Electronic Journals Library
- Sociological Abstracts
- Worldwide Political Science Abstracts
- MEDLINE
- Literature Online (LION)
- Elsevier ScienceDirect Journals Complete
- SpringerLink (Online service)
- JSTOR All Journals
- Project MUSE - single title subscriptions
Neu hinzugefügt