Sortiert nach
Journal of automated reasoning, 2014-08, Vol.53 (2), p.141-172
2014
Link zum Volltext
Automated Deduction in Geometry, 1999, Vol.1669, p.1-13
1999
Link zum Volltext
Australasian journal of philosophy, 2012-09, Vol.90 (3), p.585-592
2012
Link zum Volltext
Automated Deduction in Geometry, 1999, Vol.1669, p.207-232
1999
Link zum Volltext
Artificial Intelligence and Symbolic Computation, 2001, p.157-173
2001
Link zum Volltext
Information processing letters, 1999-03, Vol.69 (5), p.221-225
1999
Link zum Volltext
Lecture notes in computer science, 2001, p.217-232
2001
Link zum Volltext
Information processing letters, 1992-12, Vol.44 (4), p.173-180
1992
Link zum Volltext
Information processing letters, 1999-02, Vol.69 (3), p.107-109
1999
Link zum Volltext
Information processing letters, 1994-09, Vol.51 (6), p.303-310
1994
Link zum Volltext
Information processing letters, 1992-08, Vol.43 (1), p.21-27
1992
Link zum Volltext
Information processing letters, 1993-08, Vol.47 (2), p.101-108
1993
Link zum Volltext
Information processing letters, 1991-07, Vol.39 (1), p.1-6
1991
Link zum Volltext
International journal of mathematical education in science and technology, 2017-01, Vol.48 (8), p.1133-1152
2017
Link zum Volltext
Computer Aided Verification, 2001, p.221-234
2001
Link zum Volltext
Advances in Learning Classifier Systems, 2001, p.3-20
2001
Link zum Volltext
Business process management journal, 2015-06, Vol.21 (3), p.586-609
2015
Link zum Volltext
Journal of automated reasoning, 2013, Vol.50 (1), p.99-117
2013
Link zum Volltext
Lecture notes in computer science, 1999, Vol.1690, p.293-310
1999
Link zum Volltext
PloS one, 2017-07, Vol.12 (7), p.e0180179-e0180179
2017
Link zum Volltext
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.101-148
2016
Link zum Volltext
Journal of automated reasoning, 2014-08, Vol.53 (2), p.173-213
2014
Link zum Volltext
Journal of automated reasoning, 2014-06, Vol.53 (1), p.63-103
2014
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Physical Sciences
- Mathematics
- Computer Science
- Algorithms
- Exact Sciences And Technology
- Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Automation & Control Systems
- Artificial Intelligence
- Mathematical Analysis
- Mathematics, Applied
- Mathematical Models
- Studies
- Methods
- Engineering, Electrical & Electronic
- Software
- Statistics & Probability
Kollektion
- Ingenta
- EZB Free E-Journals
- Taylor & Francis Current Content Access
- Taylor & Francis Journals Complete
- SpringerNature Journals
- EBSCOhost Business Source Ultimate
- JSTOR Complete Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- SpringerLink Series
- Emerald Management 200
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Journals Frontfile Complete
- Wiley Online Library Full Collection 2018
- NUS Single-Journal Subscriptions
- Project Euclid
- SAGE Complete
- Nature
Zeitschrift / Serie
Neu hinzugefügt