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)
2003rd edition, 2013
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)
1986
Volltextzugriff (PDF)
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)
1999 edition, 2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Volltextzugriff (PDF)
3. Aufl. 2013 edition., 2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.25-43
2006
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Artificial Intelligence
- Computer Science, Theory & Methods
- Engineering
- Computer Science, Artificial Intelligence
- Künstliche Intelligenz
- Logic
- Mathematics
- Natural Deduction
- Inference Rule
- Theorem Prove
- Inductive Inference
- Mathematical Logic
- Software Engineering
- Engineering, General
- Function Symbol
- Informatik
- Logic, Symbolic And Mathematical
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ingenta
- SpringerLink Series
- De Gruyter eBooks
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- Springer Journals
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Journals@Ovid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Oxford journals
- ScienceDirect eBooks
- Wiley-Blackwell Journals
- MEDLINE
- IEEE Electronic Library (IEL)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
Neu hinzugefügt