1
0
0
(1 - 26 von 26
)
Decision Support for Software Release Planning Using e ...
www.tandfonline.com
— Jörg Denzinger University of Calgary , University Drive NW, Calgary , AB , T2N 1N4 , Canada. &. Gunther Ruhe University of Calgary ... › abs
bokus.com: Multiagent System Technologies - Gabriela Lindemann-V Trzebiatowski,...
Köp Multiagent System Technologies av Gabriela Lindemann-V Trzebiatowski, Joerg Denzinger, Ingo J Timm, Rainer Unland. Skickas inom vardagar. Fri frakt...
Multiagent System Technologies - Fachbuch - Bücher.de
www.buecher.de
Gabriela Lindemann-v. Trzebiatowski / Jörg Denzinger / Ingo J. Timm / Rainer Unland (eds.) Multiagent System Technologies. › ... › Softwareentwicklung
Joerg Denzinger | University of Calgary | 4 Publications | 4 Citations ...
typeset.io
› authors › joerg-...
Handbook of Parallel Constraint Reasoning - Google Books
books.google.lu
[84] Jörg Denzinger. Team-Work: a method to design distributed knowledge based theorem provers. PhD thesis, Department of Computer Science, Universität ...
Multiagent System Technologies: Second German Conference, MATES 2004,...
books.google.lu
Trzebiatowski Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland. Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA ...
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und
books.google.lu
Dissertation, Technische Universität München, Institut für Informatik. [FD97] Fuchs, Dirk und Jörg Denzinger: Knowledge-based Cooperation between Theorem ...
Multiagent System Technologies von Gabriela Lindemann-v....
www.lehmanns.de
85,59 € inkl. MwSt. Neuware. Versand in Tagen. Herausgeber: Gabriela Lindemann-v. Trzebiatowski, Jörg Denzinger, Ingo J. Timm, Rainer Unland. Verlag:.
Multiagent System Technologies von Gabriela Lindemann-v ...www.buecher.de › ... › Agentensysteme
www.buecher.de
Gabriela Lindemann-v. Trzebiatowski / Jörg Denzinger / Ingo J. Timm / Rainer Unland (eds.) Multiagent System Technologies. Second German Conference ...
Verhaltensgarantien in Selbst-Organisierenden Systemen - Florian Nafz...
books.google.lu
Zukunftige Systeme erfordern ein hohes Mass an Flexibilitat, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr...
Multiagent System Technologies: First German Conference, MATES 2003,...
books.google.de
This book constitutes the refereed proceedings of the First German Conference on Multiagent System Technologies, MATES 2003, held in Erfurt, Germany, in...
Smart Graphics: 5th International Symposium, SG 2005, Frauenwörth...
books.google.de
This book constitutes the refereed proceedings of the 5th International Symposium on Smart Graphics, SG 2005, held in Frauenwvrth Cloister, Germany in August...
Experiments in Learning Prototypical Situations for Variants of the ...aaai.org › Library › ICMAS › icmas
aaai.org
Joerg Denzinger, Universitaet Kaiserslautern, and Mattias Fuchs, Universitat Kaiserlautern, Germany. We present an approach to learning cooperative behavior ...
Handbook of Parallel Constraint Reasoningbooks.google.com › books
books.google.de
[85] Jörg Denzinger and Bernd Ingo Dahn. Cooperating theorem provers. In Wolfgang Bibel and Peter H. Schmitt, editors, Automated Deduction – A Basis for ...
Multiagent System Technologies: First German Conference, ...
books.google.com
... Learning of Cooperative Behavior by Including Accountability of Strategy Components Jörg Denzinger and Sean Ennis Department of Computer Science, ...
Verhaltensgarantien in Selbst-Organisierenden Systemenbooks.google.com › books
books.google.de
Holger Kasinger, Bernhard Bauer, and Jörg DenZinger. The Meaning of Semiochemicals to the Design of Self-Organizing Systems. In Proceedings of the Second ...
Multiagent System Technologies: Second German Conference, ...
books.google.com
Trzebiatowski Gabriela Lindemann, Jörg Denzinger, Ingo J. Timm, Rainer Unland. Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, ...
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation ...
books.google.com
( FD97 ] Fuchs , Dirk und Jörg Denzinger : Knowledge - based Cooperation between Theorem Provers by TECHS . SEKI - Report SR , Universität ...
Completion and Equational Theorem Proving Using Taxonomic Constraints...
books.google.de
Completion and Equational Theorem Proving Using Taxonomic Constraints. Front Cover. Jörg Denzinger. Technische Universität Kaiserslautern, Fachbereich ...
Intelligente Suche im Internet mit Lernenden Systemen - Ralph...
books.google.de
Intelligente Suche im Internet mit Lernenden Systemen. Front Cover. Ralph Bergmann, Jörg Denzinger. Technische Universität Kaiserslautern, Fachbereich ...
Cooperation in Theorem Proving by Loosely Coupled Heuristics - Dirk...
books.google.de
Cooperation in Theorem Proving by Loosely Coupled Heuristics. Front Cover. Dirk Fuchs, Jörg Denzinger. Technische Universität Kaiserslautern, Fachbereich ...
Knowledge-based Cooperation Between Theorem Provers by TECHS - Dirk...
books.google.de
Knowledge-based Cooperation Between Theorem Provers by TECHS. Front Cover. Dirk Fuchs, Jörg Denzinger. Univ., Fachbereich Infermatik,
Teamwork: eine Methode zum Entwurf verteilter, wissensbasierter...
books.google.de
Title, Teamwork: eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser. Author, Jörg Denzinger. Published, Length, 214 pages.
sortiert nach Relevanz / Datum