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...Communications in science and technology, 2016-12, Vol.1 (2), p.42-50
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-04, Vol.50 (4), p.423-456
2013
Volltextzugriff (PDF)
Journal of parallel and distributed computing, 2019-10, Vol.132, p.242-249
2019
Volltextzugriff (PDF)
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.328-343
2018
Volltextzugriff (PDF)
Experimental mathematics, 2022-07, Vol.31 (2), p.355-363
2022
Volltextzugriff (PDF)
ZDM, 2024-04
2024
Volltextzugriff (PDF)
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2019-03, Vol.377 (2140), p.20180279-20180279
2019
Volltextzugriff (PDF)
Principia: an international journal of epistemology, 2024-07, Vol.28 (1), p.29-37
2024
Volltextzugriff (PDF)
Journal of combinatorial theory. Series A, 2024-08, Vol.206, p.105904, Article 105904
2024
Volltextzugriff (PDF)
Journal of symbolic computation, 2024-07, Vol.123, p.102288, Article 102288
2024
Volltextzugriff (PDF)
Computer networks (Amsterdam, Netherlands : 1999), 2018-04, Vol.134, p.78-92
2018
Volltextzugriff (PDF)
Certified Programs and Proofs, 2013, Vol.8307, p.147-162
2013
Volltextzugriff (PDF)
Jurnal Ilmiah Pendidikan Matematika (JIPM), 2020-03, Vol.8 (2), p.98
2020
Volltextzugriff (PDF)
Principia (Florianópolis, Brazil), 2022, Vol.26 (3)
2022
Volltextzugriff (PDF)
Turkish journal of mathematics, 2022-01, Vol.46 (4), p.1538-1552
2022
Volltextzugriff (PDF)
Journal of automated reasoning, 2024-03, Vol.68 (1), p.1, Article 1
2024
Volltextzugriff (PDF)
Journal of systems architecture, 2022-11, Vol.132, p.102737, Article 102737
2022
Volltextzugriff (PDF)
Sensors (Basel, Switzerland), 2017-03, Vol.17 (3), p.644
2017
Volltextzugriff (PDF)
Security and communication networks, 2016-11, Vol.9 (16), p.3527-3542
2016
Volltextzugriff (PDF)
IEEE systems journal, 2019-09, Vol.13 (3), p.2830-2838
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-12, Vol.67 (4), p.33, Article 33
2023
Volltextzugriff (PDF)
Studia Humana (Rzeszów), 2020-10, Vol.9 (3), p.10-18
2020
Volltextzugriff (PDF)
Computers & electrical engineering, 2015-07, Vol.45, p.274-285
2015
Volltextzugriff (PDF)
Journal of automated reasoning, 2023-03, Vol.67 (1), p.5, Article 5
2023
Volltextzugriff (PDF)
IEEE access, 2024-06, p.1-1
2024
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Computer Science, Software Engineering
- Logic
- Formal Proof
- Theory Of Computation -- Logic -- Proof Theory
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Formal Verification
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Exact Sciences And Technology
- Applied Sciences
- Proof Theory
- Software Engineering
- Physical Sciences
- Software
Kollektion
- Ingenta
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- SpringerLink Series
- eBooks on EBSCOhost
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- EZB Electronic Journals Library
- IEEE Electronic Library Online
- JSTOR
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- De Gruyter eBooks
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- Wiley-Blackwell Journals
- Project Euclid Complete
- Cambridge Journals Online (DEFF)
- Oxford journals
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Acm Transactions On Programming Languages And Systems
- Synthese
- Formal Aspects Of Computing
- Formal Methods In System Design
- Information Processing Letters
- Proceedings Of Acm On Programming Languages
- The Journal Of Symbolic Logic
- International Journal On Software Tools For Technology Transfer
- Proceedings Of The Acm On Programming Languages
Neu hinzugefügt