Sortiert nach
Informatik-Spektrum, 2022, Vol.45 (6), p.356-365
2022
Link zum Volltext
Second, revised edition., 1987
Link zum Volltext
1987 edition., 2019
Link zum Volltext
2003rd edition, 2013
Link zum Volltext
Ai communications, 2014-01, Vol.27 (1), p.87-102
2014
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
1, 1987
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
1999 edition, 2013
Link zum Volltext
Journal of automated reasoning, 2016-02, Vol.56 (2), p.95-98
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Artificial Intelligence
- Science & Technology
- Technology
- Engineering
- Computer Science, Artificial Intelligence
- Künstliche Intelligenz
- Logic
- Mathematics
- Computer Science, General
- Engineering, General
- Logic, Symbolic And Mathematical
- Mathematical Logic
- Mathematical Logic And Foundations
- Software Engineering
- Automatic Theorem Proving
- Automatisches Beweisverfahren
- Computer Science, Theory & Methods
- Connection Method
- Informatik
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- Ingenta
- De Gruyter eBooks
- HEAL-Link subscriptions: Springer Book Series
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- EBSCOhost Business Source Ultimate
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- Oxford University Press Journals Current
- ScienceDirect eBooks
- Wiley Online Library
- MEDLINE
- IEEE Electronic Library (IEL)
- ProQuest Dissertations & Theses A&I
Zeitschrift / Serie