Sortiert nach
Journal of automated reasoning, 2017-12, Vol.59 (4), p.483-502
2017
Volltextzugriff (PDF)
Journal of automated reasoning, 2017-12, Vol.59 (4), p.483-502
2017
Volltextzugriff (PDF)
The AI magazine, 2016-06, Vol.37 (2), p.99-101
2016
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-02, Vol.50 (2), p.229-241
2013
Volltextzugriff (PDF)
Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1153-1169
2023
Volltextzugriff (PDF)
Ai communications, 2021-01, Vol.34 (2), p.163-177
2021
Volltextzugriff (PDF)
Ai communications, 2019-01, Vol.32 (5-6), p.373-389
2019
Volltextzugriff (PDF)
Ai communications, 2018-01, Vol.31 (6), p.495-507
2018
Volltextzugriff (PDF)
Ai communications, 2024-03, p.1-19
2024
Volltextzugriff (PDF)
Ai communications, 2016-01, Vol.29 (5), p.607-619
2016
Volltextzugriff (PDF)
Ai communications, 2023-01, Vol.36 (2), p.73-91
2023
Volltextzugriff (PDF)
Ai communications, 2017-01, Vol.30 (6), p.419-432
2017
Volltextzugriff (PDF)
Ai communications, 2021-01, Vol.34 (4), p.259-276
2021
Volltextzugriff (PDF)
Ai communications, 2015-09, Vol.28 (4), p.683-692
2015
Volltextzugriff (PDF)
Ai communications, 2013, Vol.26 (2), p.211-223
2013
Volltextzugriff (PDF)
Ai communications, 2016-01, Vol.29 (5), p.307
2016
Volltextzugriff (PDF)
Knowledge-based systems, 2022-06, Vol.245, p.108572, Article 108572
2022
Volltextzugriff (PDF)
Ai communications, 2014, Vol.27 (4), p.405-416
2014
Volltextzugriff (PDF)
Logic journal of the IGPL, 2024-05, Vol.32 (3), p.442-464
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.439-461
2022
Volltextzugriff (PDF)
Ai communications, 2012, Vol.25 (1), p.49-63
2012
Volltextzugriff (PDF)
Ai communications, 2016-04, Vol.29 (3), p.423-433
2016
Volltextzugriff (PDF)
Ai communications, 2011, Vol.24 (1), p.75-89
2011
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theoretical Computing
- Logical, Boolean And Switching Functions
- Competition
- Automated Theorem Proving
- Mathematics
- Theorem Proving
- Automate Reasoning
- Automation
- Logic
- Logic Programming
- Mathematics, Applied
- Physical Sciences
Kollektion
- IngentaConnect Journals
- SpringerLink Series
- EBSCOhost Business Source Ultimate
- Journals@Ovid Ovid Full Text
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Publisher website
- IngentaConnect Journals
- Oxford Journals
- MEDLINE
- IEEE Xplore
- Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- Taylor & Francis Journals Complete
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Logic For Programming, Artificial Intelligence, And Reasoning
- Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings
- Ai Communications
- Journal Of Automated Reasoning
- The Ai Magazine
- Logic Journal Of The Igpl
- Artificial Intelligence
- J. Automated Reasoning
- Journal Of Applied Logic
Neu hinzugefügt