Sortiert nach
Principles and Practice of Multi-Agent Systems, p.47-59
Link zum Volltext
Artificial General Intelligence, 2022, Vol.13154, p.41-44
2022
Link zum Volltext
Distributed, Ambient and Pervasive Interactions, p.273-286
Link zum Volltext
Artificial General Intelligence, 2022, Vol.13154, p.184-195
2022
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
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
Handbook of Historical Studies in Education, p.329-347
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
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
Verified Software: Theories, Tools, Experiments, p.1-21
Link zum Volltext
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body, Motion and Behavior, p.320-342
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
Computer Aided Verification, p.306-320
Link zum Volltext
Scalable Uncertainty Management, p.190-202
Link zum Volltext
Reasoning Web. Declarative Artificial Intelligence, 2022, Vol.13100, p.76-93
2022
Link zum Volltext
Human-Computer Interaction. Recognition and Interaction Technologies, p.3-16
Link zum Volltext
Cross-Cultural Design. Methods, Tools and User Experience, p.440-457
Link zum Volltext
Automated Deduction - CADE-25, p.285-294
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Function Symbol
- Predicate Symbol
- Logic Program
- Computer Science, Artificial Intelligence
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Computer Science, Software Engineering
- Relation Symbol
- Input Symbol
- Logic Programming
- Terminal Symbol
- Physical Sciences
- Principal Symbol
- Mathematics
- Normal Form
Kollektion
Neu hinzugefügt