Sortiert nach
Argument & computation, 2014-01, Vol.5 (1), p.1-4
2014
Link zum Volltext
Journal of automated reasoning, 2022-11, Vol.66 (4), p.437-438
2022
Link zum Volltext
Journal of automated reasoning, 2022-11, Vol.66 (4), p.575-584
2022
Link zum Volltext
Journal of automated reasoning, 2014-02, Vol.52 (2), p.191-213
2014
Link zum Volltext
International journal of mathematical education in science and technology, 2022-06, Vol.53 (7), p.1701-1710
2022
Link zum Volltext
Journal of automated reasoning, 2020-08, Vol.64 (6), p.1001-1050
2020
Link zum Volltext
Mathematics (Basel), 2021-10, Vol.9 (20), p.2548
2021
Link zum Volltext
Mathematics (Basel), 2021-08, Vol.9 (16), p.1964
2021
Link zum Volltext
Journal of automated reasoning, 2013-02, Vol.50 (2), p.229-241
2013
Link zum Volltext
Journal of intelligent & fuzzy systems, 2018-01, Vol.34 (3), p.1777
2018
Link zum Volltext
Integrating semantic NLP and logic reasoning into a unified system for fully-automated code checking
2017
Link zum Volltext
Soft computing (Berlin, Germany), 2012-10, Vol.16 (10), p.1767-1781
2012
Link zum Volltext
Journal of automated reasoning, 2014, Vol.52 (1), p.1-29
2014
Link zum Volltext
Science (American Association for the Advancement of Science), 2019-06, Vol.364 (6446), p.1149
2019
Link zum Volltext
Procedia computer science, 2023, Vol.225, p.4214-4224
2023
Link zum Volltext
Theoretical computer science, 2023-10, Vol.975, p.114125, Article 114125
2023
Link zum Volltext
Information sciences, 2023-07, Vol.634, p.505-519
2023
Link zum Volltext
Description Logic, Theory Combination, and All That, 2019, p.573-587
2019
Link zum Volltext
Artificial intelligence, 2021-09, Vol.298, p.103518, Article 103518
2021
Link zum Volltext
Knowledge-based systems, 2024-02, Vol.286, p.111405, Article 111405
2024
Link zum Volltext
International journal of approximate reasoning, 2023-11, Vol.162, p.109009, Article 109009
2023
Link zum Volltext
Computer Aided Verification, 2013, Vol.LNCS 8044, p.1-35
2013
Link zum Volltext
Science of computer programming, 2019-03, Vol.172, p.48-62
2019
Link zum Volltext
Artificial intelligence, 2014-10, Vol.215, p.120-140
2014
Link zum Volltext
The American mathematical monthly, 2023-05, Vol.130 (5), p.446-453
2023
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Automated Reasoning
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Automation
- Algorithms
- Computer Science, Theory & Methods
- Engineering
- Logic
- Computer Science, Software Engineering
- Reasoning
- Humans
- Cognition & Reasoning
- Semantics
- Computer Science, Information Systems
- Mathematics
- Mathematical Logic And Foundations
- Mathematical Logic And Formal Languages
Kollektion
- Ingenta
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Complete
- EZB Free E-Journals
- ACM Digital Library Complete
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- EBSCOhost Business Source Ultimate
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Books
- Taylor & Francis Journals Complete
- Taylor & Francis
- Wiley Online Library Journals Frontfile Complete
- Jstor Complete Legacy
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Artificial Intelligence
- Proceedings Of Acm On Programming Languages
- Acm Transactions On Computational Logic
- Annals Of Mathematics And Artificial Intelligence
- Ai Communications
- Acm Transactions On Programming Languages And Systems
- Ieee Transactions On Systems, Man And Cybernetics. Part B, Cybernetics
- Electronic Notes In Theoretical Computer Science
- Computational Intelligence
Neu hinzugefügt