Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Fundamenta informaticae, 2013, Vol.128 (3), p.337-366
2013
Volltextzugriff (PDF)
Parallel computing, 1994, Vol.20 (4), p.547-564
1994
Volltextzugriff (PDF)
INFORMS journal on computing, 1993-02, Vol.5 (1), p.24-25
1993
Volltextzugriff (PDF)
Logic Programming and Automated Reasoning, 2005, p.96-106
2005
Volltextzugriff (PDF)
Parallelization in Inference Systems, 2005, p.139-162
2005
Volltextzugriff (PDF)
The Michigan mathematical journal, 1975-11, Vol.22 (2), p.151-160
1975
Volltextzugriff (PDF)
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980, 2005, p.232-249
2005
Volltextzugriff (PDF)
SIGCSE bulletin, 1977-08, Vol.9 (3), p.28-29
1977
Volltextzugriff (PDF)
Proceedings of the eighth SIGCSE technical symposium on Computer science education, 1977, p.28-29
1977
Volltextzugriff (PDF)
10th International Conference on Automated Deduction, 2005, p.28-39
2005
Volltextzugriff (PDF)
Pacific journal of mathematics, 1975-01, Vol.56 (2), p.575-579
1975
Volltextzugriff (PDF)
International Conference on Management of Data: Proceedings of the 1980 ACM SIGMOD international conference on Management of data; 14-16 May 1980, 1980, p.9-21
1980
Volltextzugriff (PDF)
Automated Deduction—CADE-11, 2005, p.731-734
2005
Volltextzugriff (PDF)
Proceedings of the 1st ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies, 2012, p.1-12
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 1993-01, Vol.11 (3), p.317-331
1993
Volltextzugriff (PDF)
Proceedings of the American Mathematical Society, 1976, Vol.56 (1), p.313-317
1976
Volltextzugriff (PDF)
Proceedings of the American Mathematical Society, 1975-05, Vol.49 (1), p.245-252
1975
Volltextzugriff (PDF)
Proceedings of the American Mathematical Society, 1975-05, Vol.49 (1), p.245
1975
Volltextzugriff (PDF)
Proceedings of the American Mathematical Society, 1975-01, Vol.49 (1), p.245-252
1975
Volltextzugriff (PDF)
Proceedings of the Royal Society of Edinburgh. Section A. Mathematics, 1990, Vol.115 (3-4), p.289-299
1990
Volltextzugriff (PDF)
7th International Conference on Automated Deduction, p.43-52
Volltextzugriff (PDF)
6th Conference on Automated Deduction, 1982, p.70-84
1982
Volltextzugriff (PDF)
6th Conference on Automated Deduction, 1982, p.85-108
1982
Volltextzugriff (PDF)
Physical review letters, 2018-02, Vol.120 (5), p.052503-052503, Article 052503
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Inference Rule
- Mathematics
- Physical Sciences
- Theorem Prover
- Automate Reasoning
- Mathematics, Applied
- Theorem Prove
- Adlb
- Argonne National Laboratory
- Concurrency
- General And Miscellaneous//mathematics, Computing, And Information Science
- Inference Mechanism
- Mathematical Theorems
- Mpi
- Resolution
- Swift
Kollektion
- Ingenta Connect
- Springer Book Series (Lecture Notes)
- EZB Free E-Journals
- ACM Digital Library Complete
- JSTOR Complete Journals
- American Mathematical Society Publications
- NUS Single-Journal Subscriptions
- Project Euclid_欧几里德项目期刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Journals
- American Physical Society Journals
- Cambridge Journals Online (DEFF)
- BSC - Ebsco (Business Source Ultimate)
- Wiley Online Library
- Journals@Ovid Full Text
- Mathematical Sciences Publishers
- Informs
- Elsevier ScienceDirect Journals
- Springer Nature - Complete Springer Journals
- PROLA - Physical Review Online Archive
Zeitschrift / Serie