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...PloS one, 2007-04, Vol.2 (4), p.e339-e339
2007
Volltextzugriff (PDF)
Formal aspects of computing, 2019-12, Vol.31 (6), p.643-660
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.15-16
Volltextzugriff (PDF)
Formal Approaches to Agent-Based Systems, 2001, p.250-262
2001
Volltextzugriff (PDF)
Lecture notes in computer science, 2003, p.747-761
2003
Volltextzugriff (PDF)
Automated Deduction — CADE-12, 2005, p.341-355
2005
Volltextzugriff (PDF)
10th International Conference on Automated Deduction, 2005, p.684-684
2005
Volltextzugriff (PDF)
IEEE transactions on software engineering, 1992-08, Vol.18 (8), p.674-704
1992
Volltextzugriff (PDF)
European Workshop on Planning, 2006, p.78-87
2006
Volltextzugriff (PDF)
2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), 2017, p.1-5
2017
Volltextzugriff (PDF)
Automated Deduction—CADE-11, 2005, p.492-506
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2002, p.454-459
2002
Volltextzugriff (PDF)
Programming Symposium, 2005, p.109-119
2005
Volltextzugriff (PDF)
Programming Methodology, 2005, p.236-277
2005
Volltextzugriff (PDF)
ACM computing surveys, 1972-06, Vol.4 (2), p.97-147
1972
Volltextzugriff (PDF)
Journal of automated reasoning, 1987-12, Vol.3 (4)
1987
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 1980-01, Vol.2 (1), p.90-121
1980
Volltextzugriff (PDF)
Temporal Logic, 2005, p.430-444
2005
Volltextzugriff (PDF)
Computational intelligence, 1987-02, Vol.3 (1), p.220-221
1987
Volltextzugriff (PDF)
Journal of the ACM, 1986-01, Vol.33 (1), p.1-59
1986
Volltextzugriff (PDF)
2011 IEEE Fifth International Conference on Semantic Computing, 2011, p.13-20
2011
Volltextzugriff (PDF)
Proceedings of the 16th international conference on Intelligent user interfaces, 2011, p.299-302
2011
Volltextzugriff (PDF)
International Conference on Management of Data: Proceedings of the 1988 ACM SIGMOD international conference on Management of data; 01-03 June 1988, 1988, p.243-250
1988
Volltextzugriff (PDF)
Communications of the ACM, 1971-03, Vol.14 (3), p.151-165
1971
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Artificial Intelligence
- Computer Science, Theory & Methods
- Theorem Proving
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Program Synthesis
- Software
- Computer Science, Artificial Intelligence
- Engineering
- Engineering, Electrical & Electronic
- Mathematics
- Program Transformation
- Automation
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
Kollektion
- Ingenta
- ACM Digital Library (Association for Computing Machinery)
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- EZB-FREE-00999 freely available EZB journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ScienceDirect eBooks
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library Journals Frontfile Complete
- IEL
- Springer journals
- JSTOR
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- SAGE Journals【Remote access NOT available】
Zeitschrift / Serie
- Communications Of The Acm
- Ieee Transactions On Software Engineering
- Journal Of Automated Reasoning
- Science Of Computer Programming
- Sigart Newsletter
- 1988 Proceedings Of The International Conference On Management Of Data
- Acm Computing Surveys
- Acm Sigplan Notices
- Acm Transactions On Programming Languages And Systems
- Acta Informatica