Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Journal of computer science and technology, 2021-07, Vol.36 (4), p.910-921
2021
Link zum Volltext

Metallurgical and materials transactions. B, Process metallurgy and materials processing science, 2018-10, Vol.49 (5), p.2835-2845
2018
Link zum Volltext





Journal of automated reasoning, 2000-10, Vol.25 (3), p.219-246
2000
Link zum Volltext

Science in China. Series A, Mathematics, physics, astronomy, 2007-09, Vol.50 (9), p.1361-1368
2007
Link zum Volltext




Proceedings of the 2009 conference on Symbolic numeric computation, 2009, p.21-28
2009
Link zum Volltext

Advanced materials research, 2014-06, Vol.962-965, p.2076-2079
2014
Link zum Volltext

An introduction to geometry expert
Automated Deduction — Cade-13, 2005, p.235-239
2005
Link zum Volltext



Annals of mathematics and artificial intelligence, 1995-03, Vol.13 (1-2), p.109-137
1995
Link zum Volltext



2008 International Symposium on Knowledge Acquisition and Modeling, 2008, p.288-292
2008

Journal of automated reasoning, 1995, Vol.14 (2), p.257-291
1995
Link zum Volltext



Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt