Sortiert nach
Ai communications, 2014-01, Vol.27 (1), p.87-102
2014
Link zum Volltext
2003rd edition, 2013
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.3-21
Link zum Volltext
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, p.340-355
Link zum Volltext
Artificial intelligence and law, 2004-01, Vol.12 (3), p.159-180
2004
Link zum Volltext
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980, 2005, p.318-334
2005
Link zum Volltext
1999 edition, 2013
Link zum Volltext
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Link zum Volltext
3. Aufl. 2013 edition., 2013
Link zum Volltext
1st edition., 2013
Link zum Volltext
Lecture notes in computer science, 2006, p.25-43
2006
Link zum Volltext
2, überarb und erw Aufl 2000 edition, 2013
Link zum Volltext
1993 edition., 2013
Link zum Volltext
1st edition., 2013
Link zum Volltext
Deduktion, 2020, Vol.6.2, p.7-8
2020
Link zum Volltext
Deduktion, 2020, Vol.6.2, p.1-4
2020
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Artificial Intelligence
- Computer Science, Artificial Intelligence
- Logic
- Natural Deduction
- Inference Rule
- Theorem Prove
- Inductive Inference
- Mathematical Logic
- Mathematics
- Function Symbol
- Künstliche Intelligenz
- Mathematical Logic And Foundations
- Proof Search
- Connection Method
- Engineering
- Horn Clause
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- SpringerLink (Online service)
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- LWW Total
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Oxford Journals
- ScienceDirect eBooks
- Wiley Online Library
- MEDLINE
- IEEE Xplore