Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...5, 2021
Volltextzugriff (PDF)
Theoretical computer science, 2018-06, Vol.729, p.42-56
2018
Volltextzugriff (PDF)
Mathematical structures in computer science, 2020-08, Vol.30 (7), p.736-751
2020
Volltextzugriff (PDF)
1, 1994
Volltextzugriff (PDF)
Journal of automated reasoning, 2007-07, Vol.39 (1), p.49-75
2007
Volltextzugriff (PDF)
Theoretical computer science, 2024-06, Vol.998, p.114538, Article 114538
2024
Volltextzugriff (PDF)
Electronic notes in discrete mathematics, 2001, Vol.9, p.48-58
2001
Volltextzugriff (PDF)
1994
Volltextzugriff (PDF)
Agent and Multi-Agent Systems: Technologies and Applications, p.223-232
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.113-127
2005
Volltextzugriff (PDF)
Theoretical computer science, 2017-01, Vol.658, p.263
2017
Volltextzugriff (PDF)
Discrete Applied Mathematics, 2008-05, Vol.156 (10), p.1606-1622
2008
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2007, p.244-257
Volltextzugriff (PDF)
2., überarbeitete und erweiterte Auflage
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2002-12, Vol.36 (4), p.419-435
2002
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Operating Systems
- Algorithms & Data Structures
- Mathematical Theory Of Computation
- Computer Science, Artificial Intelligence
- Artificial Intelligence
- Conjunctive Normal Form
- Engineering
- Logic Program
- Function Symbol
- Boolean Formula
- Horn Clause
- Turing Machine
- Algorithms
Kollektion
- Ingenta
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- De Gruyter eBooks
- Journals@Ovid Full Text
- ACM Digital Library
- Jstor Complete Legacy
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library All Journals
- Wiley Online Library Full Collection 2018
- Cambridge Journals Online (DEFF)
- Brill Online Journals
- 2022 Brill Journal Collection
- EBSCOhost Business Source Ultimate
Zeitschrift / Serie
- Annals Of Mathematics And Artificial Intelligence
- Theoretical Computer Science
- Discrete Applied Mathematics
- Mathematical Logic Quarterly
- Acm Transactions On Computation Theory
- Acm Transactions On Computational Logic
- Journal On Satisfiability, Boolean Modeling And Computation
- Arbeiten Aus Anglistik Und Amerikanistik
- Archiv Für Mathematische Logik Und Grundlagenforschung
- Archive For Mathematical Logic
Neu hinzugefügt