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...Informatik-Spektrum, 2022, Vol.45 (6), p.356-365
2022
Volltextzugriff (PDF)
Ai communications, 2014-01, Vol.27 (1), p.87-102
2014
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, p.3-21
Volltextzugriff (PDF)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, p.340-355
Volltextzugriff (PDF)
Artificial intelligence and law, 2004-01, Vol.12 (3), p.159-180
2004
Volltextzugriff (PDF)
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980, 2005, p.318-334
2005
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Volltextzugriff (PDF)
Deduktion, 2020, Vol.6.2, p.75-104
2020
Volltextzugriff (PDF)
Deduktion, 2020, Vol.6.2, p.165-192
2020
Volltextzugriff (PDF)
Deduktion, 2020, Vol.6.2, p.23-74
2020
Volltextzugriff (PDF)
Deduktion, 2020, Vol.6.2, p.255-256
2020
Volltextzugriff (PDF)
Deduktion, 2020, Vol.6.2, p.105-164
2020
Volltextzugriff (PDF)
Reasoning, Action and Interaction in AI Theories and Systems, p.25-43
Volltextzugriff (PDF)
Logic journal of the IGPL, 2008-08, Vol.16 (4), p.317-334
2008
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Natural Deduction
- Inference Rule
- Inductive Inference
- Theorem Prove
- Function Symbol
- Horn Clause
- Logic
- Logic Program
- Proof Obligation
- Proof Search
- Theorem Prover
- Theorem Proving
- Automate Deduction
- Connection Method
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- SpringerLink Series
- De Gruyter eBooks
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elektronische Zeitschriftenbibliothek
- Access via ScienceDirect (Elsevier)
- EBSCOhost Business Source Ultimate
- EZB-NALI5-00465 Elsevier Archive NL
- ACM Digital Library Complete
- Journals@Ovid Full Text
- IEEE Electronic Library (IEL)
- Oxford journals
- MEDLINE
- ProQuest Dissertations & Theses A&I
- ScienceDirect eBooks
Zeitschrift / Serie
Neu hinzugefügt