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...




The Journal of Information Science and Technology Association, 2011/12/01, Vol.61(12), pp.511-515
2011
Link zum Volltext

Proceedings of the Japan Academy. Series A. Mathematical sciences, 2008-10, Vol.84 (8), p.159-161
2008
Link zum Volltext

International journal of human-computer studies, 2005-02, Vol.62 (2), p.193-209
2005
Link zum Volltext

National science review, 2015-06, Vol.2 (2), p.135-136
2015
Link zum Volltext

Theoretical computer science, 1996-06, Vol.159 (2), p.343-354
1996
Link zum Volltext

The complexity of analytic tableaux
The Journal of symbolic logic, 2006-09, Vol.71 (3), p.777-790
2006
Link zum Volltext

Theoretical computer science, 1996-01, Vol.170 (1-2), p.129-144
1996
Link zum Volltext

2023 IEEE 6th International Conference on Knowledge Innovation and Invention (ICKII), 2023, p.367-371
2023
Link zum Volltext


Theoretical computer science, 2000-05, Vol.238 (1), p.477-482
2000
Link zum Volltext

Automated Reasoning with Analytic Tableaux and Related Methods, 2000, p.40-51
2000
Link zum Volltext

Large-Scale Knowledge Resources. Construction and Application, p.326-333
Link zum Volltext

Mathematics by machine
Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, 2014, p.1-8
2014
Link zum Volltext

Theoretical computer science, 2000-07, Vol.243 (1), p.185-197
2000
Link zum Volltext

Theoretical computer science, 1996-12, Vol.170 (1), p.129-144
1996
Link zum Volltext

Annals of pure and applied logic, 2000-07, Vol.104 (1), p.3-16
2000
Link zum Volltext

2016 IEEE Eighth International Conference on Technology for Education (T4E), 2016, p.156-159
2016
Link zum Volltext



Journal of neuropathology and experimental neurology, 2004-09, Vol.63 (9), p.911-918
2004
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n