Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Verlag
- springer, cham 123 Treffer
- springer, heidelberg 41 Treffer
- schloss dagstuhl. leibniz-zent. inform., wadern 27 Treffer
- eptcs, [place of publication not identified] 22 Treffer
- springer, berlin 19 Treffer
-
21 weitere Werte:
- springer, [cham] 5 Treffer
- coll. publ., london 4 Treffer
- elsevier sci. b. v., amsterdam 3 Treffer
- schloss dagstuhl. leibniz-zentrum fur informatik, wadern 3 Treffer
- springer-verlag, berlin 3 Treffer
- acm, new york 2 Treffer
- college publications, london 2 Treffer
- easychair, manchester 2 Treffer
- amer. math. soc., providence, ri 1 Treffer
- american mathematical society, providence, ri 1 Treffer
- cambridge university press, cambridge 1 Treffer
- cambridge university press, new york 1 Treffer
- ieee computer soc., los alamitos, ca 1 Treffer
- kluwer academic publishers group, dordrecht 1 Treffer
- proquest llc, ann arbor, mi 1 Treffer
- springer, dordrecht 1 Treffer
- springer, new york 1 Treffer
- springer, singapore 1 Treffer
- univ. paris vi, paris 1 Treffer
- world sci. publ., hackensack, nj 1 Treffer
- world sci. publ., river edge, nj 1 Treffer
Publikation
- formal aspects of computing 384 Treffer
- theory and practice of logic programming 139 Treffer
- logic programming and nonmonotonic reasoning 83 Treffer
- physical review d 56 Treffer
- logics in artificial intelligence 34 Treffer
-
45 weitere Werte:
- artificial intelligence 26 Treffer
- annals of mathematics and artificial intelligence 17 Treffer
- fundamenta informaticae 17 Treffer
- journal of cosmology and astroparticle physics 16 Treffer
- journal of logic and computation 14 Treffer
- technical communications of the 28th international conference on logic programming 14 Treffer
- celestial mechanics \& dynamical astronomy. an international journal of space dynamics 13 Treffer
- journal of artificial intelligence research 13 Treffer
- acm transactions on computational logic 11 Treffer
- optimization. a journal of mathematical programming and operations research 11 Treffer
- international journal of approximate reasoning 9 Treffer
- journal of inequalities and applications 8 Treffer
- communications in nonlinear science and numerical simulation 7 Treffer
- numerical algorithms 7 Treffer
- proceedings---36th international conference on logic programming (technical communications) 7 Treffer
- proceedings---37th international conference on logic programming (technical communications) 7 Treffer
- astrophysics and space science. an international journal of astronomy, astrophysics and space science 6 Treffer
- general relativity and gravitation 6 Treffer
- physics letters. b. particle physics, nuclear physics and cosmology 6 Treffer
- ai communications. the european journal on artificial intelligence 5 Treffer
- journal of nonlinear and convex analysis. an international journal 5 Treffer
- proceedings 35th international conference on logic programming (technical communications) 5 Treffer
- theoretical computer science 5 Treffer
- classical and quantum gravity 4 Treffer
- international journal of theoretical physics 4 Treffer
- journal of algorithms. cognition, informatics and logic 4 Treffer
- journal of fixed point theory and applications 4 Treffer
- logic programming, knowledge representation, and nonmonotonic reasoning 4 Treffer
- modern physics letters a. gravitation, cosmology, astrophysics, nuclear physics, particles and fields, accelerator physics, quantum information 4 Treffer
- technical communications of the 32nd international conference on logic programming 4 Treffer
- the journal of logic and algebraic programming 4 Treffer
- transport in porous media 4 Treffer
- annals of physics 3 Treffer
- constraints. an international journal 3 Treffer
- discrete mathematics 3 Treffer
- european journal of operational research 3 Treffer
- foundations of information and knowledge systems 3 Treffer
- inductive logic programming 3 Treffer
- international journal of geometric methods in modern physics 3 Treffer
- journal of global optimization. an international journal dealing with theoretical and computational aspects of seeking global optima and their applications in science, management and engineering 3 Treffer
- logic-based program synthesis and transformation 3 Treffer
- machine learning 3 Treffer
- mathematical problems in engineering 3 Treffer
- multidimensional systems and signal processing. an international journal 3 Treffer
- advances in high energy physics 2 Treffer
Sprache
1.269 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: