Sortiert nach
Proceedings of the Third International Afro-European Conference for Industrial Advancement — AECIA 2016, 2017, p.272-287
2017
Link zum Volltext
Advanced Computing and Communication Technologies, p.549-556
Link zum Volltext
Technology Systems and Management, p.221-226
Link zum Volltext
Automata, Languages and Programming, 2005, p.455-468
2005
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.427-441
2005
Link zum Volltext
Image and Video Technology, p.314-325
Link zum Volltext
Descriptional Complexity of Formal Systems, p.162-173
Link zum Volltext
Proceedings of the 5th International Conference on Frontiers in Intelligent Computing: Theory and Applications, 2017, Vol.515, p.363-371
2017
Link zum Volltext
Theory and Applications of Satisfiability Testing - SAT 2011, 2011, Vol.6695, p.273-286
2011
Link zum Volltext
Dance Notations and Robot Motion, 2016, Vol.111, p.339-359
2016
Link zum Volltext
Algorithms – ESA 2013, p.553-564
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.603-617
2005
Link zum Volltext
Pattern Recognition and Image Analysis, Vol.6669, p.620-627
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.366-380
2005
Link zum Volltext
Algorithms, 2005, p.358-367
2005
Link zum Volltext
Intelligent Communication, Control and Devices, 2018, Vol.624, p.257-265
2018
Link zum Volltext
Descriptional Complexity of Formal Systems, p.342-351
Link zum Volltext
EUROCODE '90, 2005, p.87-93
2005
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.292-307
2005
Link zum Volltext
Computer Vision and Graphics, p.217-224
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.381-395
2005
Link zum Volltext
Energy Detection for Spectrum Sensing in Cognitive Radio, 2014, p.27-40
2014
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.276-291
2005
Link zum Volltext
10th International Conference on Automated Deduction, 2005, p.442-455
2005
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.202-216
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Engineering
- Science & Technology
- Technology
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Function Symbol
- Computer Science
- Predicate Symbol
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Equational Theory
- Logic Program
- Computer Science, Information Systems
- Horn Clause
- Inference Rule
- Normal Form
- Artificial Intelligence
- Critical Pair
Kollektion