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...Logic for Programming, Artificial Intelligence, and Reasoning, p.735-743
Volltextzugriff (PDF)
Advances in Cryptology – CRYPTO 2017, p.375-403
Volltextzugriff (PDF)
Journal of computer languages (Online), 2023-06, Vol.75, p.101199, Article 101199
2023
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.625-641
Volltextzugriff (PDF)
Informatika (Minsk, Belarus), 2021-09, Vol.18 (3), p.97-105
2021
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.527-538
Volltextzugriff (PDF)
Deductive Software Verification – The KeY Book, 2016-12, p.541-570
2016
Volltextzugriff (PDF)
Specification, Algebra, and Software, p.578-602
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.452-468
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-06, Vol.57 (1), p.67-95
2016
Volltextzugriff (PDF)
Datalog in Academia and Industry, p.111-122
Volltextzugriff (PDF)
Programming Languages and Systems, p.157-165
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 1
2019
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.407-423
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.127-144
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.1-16
Volltextzugriff (PDF)
CONCUR 2012 – Concurrency Theory, p.547-561
Volltextzugriff (PDF)
International journal of parallel, emergent and distributed systems, 2018-05, Vol.33 (3), p.237-256
2018
Volltextzugriff (PDF)
Tools and Algorithms for the Construction and Analysis of Systems, p.581-595
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2006, p.588-605
2006
Volltextzugriff (PDF)
Logics in Artificial Intelligence, p.234-246
Volltextzugriff (PDF)
Software Engineering and Formal Methods, p.3-19
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.403-414
1ère éd, 2005
Volltextzugriff (PDF)
Diagrammatic Representation and Inference, p.241-255
Volltextzugriff (PDF)
Automated Reasoning, 2018, Vol.10900, p.295-311
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Proof Tree
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Physical Sciences
- Computer Science, Artificial Intelligence
- Computer Science, Software Engineering
- Theoretical Computing
- Software
- Artificial Intelligence
- Mathematics, Applied
- Proof Theory
- Logic
- Proof Obligation
- Trees
Kollektion
- Ingenta
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- IEEE Electronic Library (IEL)【Remote access available】
- JSTOR
- ACM Digital Library
- IngentaConnect Journals
- Springer Online Journals【Remote access available】
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- Publisher or Other Site
- Project Euclid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ovid SocietyJournals and Single Titles
- Wiley Online Library Journals【Remote access available】
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
Neu hinzugefügt