Sortiert nach
Informatik-Spektrum, 2022, Vol.45 (6), p.356-365
2022
Link zum Volltext
2003rd edition, 2013
Link zum Volltext
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, p.340-355
Link zum Volltext
1, 2003
Link zum Volltext
1, 1989
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
1, 1991
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
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Computer Science, Theory & Methods
- Technology
- Artificial Intelligence
- Engineering
- Künstliche Intelligenz
- Mathematics
- Natural Deduction
- Inference Rule
- Logic
- Inductive Inference
- Mathematical Logic
- Engineering, General
- Function Symbol
- Logic, Symbolic And Mathematical
- Proof Search
- Theorem Prove
- Computer Science, General
- Data Processing
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- De Gruyter eBooks
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Free E-Journal (出版社公開部分のみ）
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- EBSCOhost Business Source Ultimate
- Oxford Journals
- ScienceDirect eBooks
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- MEDLINE
- ProQuest Dissertations & Theses A&I
- IEEE Xplore
Zeitschrift / Serie