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)
1st edition., 2013
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.25-43
2006
Volltextzugriff (PDF)
2, überarb und erw Aufl 2000 edition, 2013
Volltextzugriff (PDF)
1997th edition, 2013
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
- Computer Science, Artificial Intelligence
- Engineering
- Künstliche Intelligenz
- Natural Deduction
- Inference Rule
- Logic
- Theorem Prove
- Inductive Inference
- Software Engineering
- Software Engineering/programming And Operating Systems
- Function Symbol
- Mathematical Logic
- Proof Search
- Computer Science, General
- Connection Method
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- SpringerLink Series
- De Gruyter eBooks
- SpringerLink Journals (MCLS)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- Journals@Ovid Complete
- ACM Digital Library
- EBSCOhost Business Source Ultimate
- ScienceDirect eBooks
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- Oxford University Press Journals Current
- MEDLINE
- IEEE Xplore (IEEE/IET Electronic Library - IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie
Neu hinzugefügt