Sortiert nach
10th International Conference on Automated Deduction, 2005, p.72-86
2005
Link zum Volltext
Logic Programming in Action, 2005, p.313-324
2005
Link zum Volltext
Automated Deduction in Geometry, p.1-33
Link zum Volltext
Automated Deduction in Geometry, p.171-188
Link zum Volltext
Theory and Practice of Model Transformations, p.133-148
Link zum Volltext
2013 5th International Conference on Intelligent Networking and Collaborative Systems, 2013, p.207-209
2013
Link zum Volltext
International Conference on Symbolic and Algebraic Computation: Proceedings of the international symposium on Symbolic and algebraic computation; 20-22 July 1994, 1994, p.20-24
1994
Link zum Volltext
Automated Deduction in Geometry, p.113-138
Link zum Volltext
1993 American Control Conference, 1993, p.1209-1213
1993
- Link zum Volltext
Automated Deduction in Geometry, p.157-170
Link zum Volltext
SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218), 1998, Vol.2, p.1439-1444 vol.2
1998
- Link zum Volltext
2020 43rd International Convention on Information, Communication and Electronic Technology (MIPRO), 2020, p.1151-1156
2020
- Link zum Volltext
14th Annual Symposium on Switching and Automata Theory (swat 1973), 1973, p.159-166
1973
- Link zum Volltext
Logics in AI, 2005, p.262-278
2005
Link zum Volltext
2016 IEEE Congress on Evolutionary Computation (CEC), 2016, p.4421-4428
2016
Link zum Volltext
2017 IEEE Congress on Evolutionary Computation (CEC), 2017, p.1495-1502
2017
Link zum Volltext
Artificial Intelligence and Symbolic Computation, 2001, p.157-173
2001
Link zum Volltext
2021 International Conference on Computational Science and Computational Intelligence (CSCI), 2021, p.170-174
2021
Link zum Volltext
2021 44th International Convention on Information, Communication and Electronic Technology (MIPRO), 2021, p.1064-1069
2021
- Link zum Volltext
Lecture notes in computer science, 2002, p.246-262
2002
Link zum Volltext
2011 Third International Conference on Intelligent Human-Machine Systems and Cybernetics, 2011, Vol.2, p.205-208
2011
- Link zum Volltext
Automated Deduction—CADE-14, 1997, p.380-394
1997
Link zum Volltext
2017 Moratuwa Engineering Research Conference (MERCon), 2017, p.413-418
2017
Link zum Volltext
Lecture notes in computer science, 2001, p.217-232
2001
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
- Computer Science, Software Engineering
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Computer Science, Artificial Intelligence
- Theory Of Computation -- Logic
- Artificial Intelligence
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Engineering
- Theory Of Computation -- Semantics And Reasoning
- Engineering, Electrical & Electronic
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning
- Mathematics
- Software
- Computer Science, Information Systems
Kollektion
Neu hinzugefügt