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)
Mathematical structures in computer science, 2020-08, Vol.30 (7), p.736-751
2020
Volltextzugriff (PDF)
Theoretical computer science, 2024-06, Vol.998, p.114538, Article 114538
2024
Volltextzugriff (PDF)
1994
Volltextzugriff (PDF)
Agent and Multi-Agent Systems: Technologies and Applications, 2010, p.223-232
2010
Volltextzugriff (PDF)
2., überarbeitete und erweiterte Auflage, 1988
Volltextzugriff (PDF)
1, 1994
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.198-211
2006
Volltextzugriff (PDF)
Theoretical computer science, 2018-06, Vol.729, p.42-56
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2007-07, Vol.39 (1), p.49-75
2007
Volltextzugriff (PDF)
Information processing letters, 2009-03, Vol.109 (7), p.376-379
2009
Volltextzugriff (PDF)
Information processing letters, 2002-11, Vol.84 (3), p.147-151
2002
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.339-352
2006
Volltextzugriff (PDF)
Theory and Applications of Satisfiability Testing – SAT 2007, 2007, p.244-257
2007
Volltextzugriff (PDF)
Theoretical computer science, 2017-01, Vol.658, p.263
2017
Volltextzugriff (PDF)
Discrete Applied Mathematics, 2003-08, Vol.130 (2), p.185-207
2003
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Operating Systems
- Algorithms & Data Structures
- Mathematical Theory Of Computation
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Conjunctive Normal Form
- Theoretical Computing
- Computer Science, Artificial Intelligence
- Logic Program
- Artificial Intelligence
- Algorithms
- Boolean Formula
Kollektion
- Ingenta
- Springer Book Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature - Complete Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE Electronic Library Online
- Journals@Ovid Complete
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- ACM Digital Library Complete
- Cambridge Journals Online (DEFF)
- JSTOR
- Project Euclid Complete
- Hanser eLibrary
- Business Source Ultimate
- Oxford Journals Online Current
Zeitschrift / Serie
- Theoretical Computer Science
- Annals Of Mathematics And Artificial Intelligence
- Discrete Applied Mathematics
- Mathematical Logic Quarterly
- Lecture Notes In Computer Science
- Information Processing Letters
- Journal On Satisfiability, Boolean Modeling And Computation
- Archiv Für Mathematische Logik Und Grundlagenforschung
- Archive For Mathematical Logic
- Computer Science Logic