Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
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...
Logical methods in computer science, 2023-01, Vol.19, Issue 3
2023
Volltextzugriff (PDF)


Journal of artificial societies and social simulation, 2017-06, Vol.20 (3)
2017
Volltextzugriff (PDF)

Frontiers of Computer Science, 2016-10, Vol.10 (5), p.870-888
2016
Volltextzugriff (PDF)

ACM transactions on computational logic, 2024-07
2024
Volltextzugriff (PDF)

Discrete Applied Mathematics, 2009-03, Vol.157 (5), p.1046-1068
2009
Volltextzugriff (PDF)

Journal of automated reasoning, 2007-07, Vol.39 (1), p.49-75
2007
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2010-01, Vol.24 (Proc. CCA 2010), p.130-138
2010
Volltextzugriff (PDF)

Discrete Applied Mathematics, 2003-08, Vol.130 (2), p.185-207
2003
Volltextzugriff (PDF)

Mathematical logic quarterly, 2013-02, Vol.59 (1-2), p.4-11
2013
Volltextzugriff (PDF)

YCΩ2n are easy terms
Chinese science bulletin, 1998, Vol.43 (20), p.1707-1709
1998
Volltextzugriff (PDF)


Journal on satisfiability, Boolean modeling and computation, 2010-03, Vol.7 (1), p.17-34
2010
Volltextzugriff (PDF)

Science China. Mathematics, 1999-07, Vol.42 (7), p.720-731
1999
Volltextzugriff (PDF)

Journal on satisfiability, Boolean modeling and computation, 2007-10, Vol.3 (3-4), p.115-123
2007
Volltextzugriff (PDF)

Journal on satisfiability, Boolean modeling and computation, 2007-05, Vol.3 (1-2), p.1-17
2007
Volltextzugriff (PDF)

Acta mathematica Sinica. English series, 2000-10, Vol.16 (4), p.555-564
2000
Volltextzugriff (PDF)

Annals of mathematics and artificial intelligence, 2005-01, Vol.43 (1-4), p.295-306
2005
Volltextzugriff (PDF)

Ai communications, 2003-01, Vol.16 (2), p.107-119
2003
Volltextzugriff (PDF)

Annals of mathematics and artificial intelligence, 2002-12, Vol.36 (4), p.419-435
2002
Volltextzugriff (PDF)

Journal of computer science and technology, 2003-01, Vol.18 (1), p.118-124
2003
Volltextzugriff (PDF)

Acta mathematica Sinica. English series, 1990-03, Vol.6 (1), p.42-46
1990
Volltextzugriff (PDF)


Ai communications, 2000-01, Vol.13 (4), p.249-257
2000
Volltextzugriff (PDF)

Organization
Theory and Applications of Satisfiability Testing - SAT 2008, 2008, Vol.4996
2008
Volltextzugriff (PDF)
Aktive Filter
KollektionIngenta
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n