Sortiert nach
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)
2005
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)
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
- Mathematics
- Logic
- Natural Deduction
- Inference Rule
- Theorem Prove
- Inductive Inference
- Engineering, General
- Function Symbol
- Informatik
- Mathematical Logic
- Proof Search
- Software Engineering
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- Springer Book Series
- De Gruyter eBooks
- SpringerNature Journals
- EZB-NALI2-00462 Springer Archive NL
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- Access via ScienceDirect (Elsevier)
- Access via Business Source (EBSCOhost)
- EZB-NALI5-00465 Elsevier Archive NL
- Access via ACM Digital Library
- ScienceDirect eBooks
- Journals@Ovid Ovid Full Text
- IEEE Electronic Library (IEL)
- Access via Oxford University Press
- MEDLINE
Zeitschrift / Serie