Sortiert nach
Runtime Verification, p.307-322
Link zum Volltext
Linguistische Berichte, 2023-02, Vol.2023 (273), p.43-65
2023
Link zum Volltext
Evolutionary Multi-Criterion Optimization, p.491-503
Link zum Volltext
Automated Reasoning, p.330-345
Link zum Volltext
Principles of Security and Trust, p.226-246
Link zum Volltext
Document Analysis and Recognition – ICDAR 2021 Workshops, p.141-146
Link zum Volltext
Formal Methods: Foundations and Applications, p.23-36
Link zum Volltext
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, Vol.9710, p.323-341
2016
Link zum Volltext
Plant breeding, 2023-08, Vol.142 (4), p.500-505
2023
Link zum Volltext
Mathematische annalen, 2019-06, Vol.374 (1-2), p.273-322
2019
Link zum Volltext
Theoretical Aspects of Computing - ICTAC 2015, p.165-183
Link zum Volltext
Computers Helping People with Special Needs, p.168-175
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
Advances in Ergonomics in Design, p.48-56
Link zum Volltext
Haptics: Science, Technology, and Applications, p.623-635
Link zum Volltext
Static Analysis, p.105-125
Link zum Volltext
Artificial Neural Networks and Machine Learning – ICANN 2016, p.339-346
Link zum Volltext
Relational and Algebraic Methods in Computer Science, p.77-92
Link zum Volltext
Advances in Ergonomics in Design, p.103-109
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.235-251
Link zum Volltext
Towards Autonomous Robotic Systems, 2016, p.295-300
2016
Link zum Volltext
Intelligent Computer Mathematics, p.169-183
Link zum Volltext
Automata, Languages and Programming, Vol.5126, p.184-196
Link zum Volltext
Perspectives of System Informatics, 2019, Vol.11964, p.64-79
2019
Link zum Volltext
Automated Deduction - CADE-25, 2015, p.311-325
2015
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Artificial Intelligence
- Function Symbol
- Predicate Symbol
- Theoretical Computing
- Artificial Intelligence
- Software
- Mathematics
- Computer Science, Software Engineering
- Computer Science, Information Systems
- Physical Sciences
- Logic Program
- Input Symbol
- Mathematics, Applied
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- JSTOR
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- MEDLINE
- Project MUSE - Single title subscriptions
- ACM Digital Library Complete
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Project MUSE
- Oxford Journals Online Current
- Project MUSE - Basic College Collection
- Wiley Blackwell Single Titles
- Wiley Online Library Full Collection 2018
- EZB Electronic Journals Library
- Publisher site
- ERIC
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Contemporary Literature
- Logic For Programming, Artificial Intelligence, And Reasoning
- Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings
- Nexus Network Journal
- Advances In Experimental Medicine And Biology
- Bioscience
- Advances In Information Systems
- Advances In Information Systems, Proceedings
- Advances In Multimedia Information Processing - Pcm 2004