1
0
0
(1 - 21 von 21
)
Kurze Geschichte Marbellas
www.bod.de
Kurze Geschichte Marbellas von Klaus Schulz jetzt im BoD Buchshop online bestellen. Stöbern Sie nach weiteren Büchern und Informationen zum Autor.
Klaus U Schulz (Author of Finite-State Techniques)
www.goodreads.com
Processing. Festschrift for Franz Guenthner on the Occasion of His 60th Birthd...
bokus.com: Klaus Schulz - Böcker | Bokus bokhandel
Köp böcker av Klaus Schulz: Frontiers of Combining Systems; The National Mineral Resource Surveys Program; Proceedings for a Workshop on Deposit Modeling,...
Computer Science Logic: 16th International Workshop, CSL 2002, 11th...
books.google.de
Decidability of bounded second order unification, submitted for publication 522, 523 Manfred Schmidt-Schauß and Klaus U. Schulz. On the exponent of ...
Frontiers of Combining Systems: First International Workshop, Munich,...
books.google.de
Franz Baader and Klaus U. Schulz. Unification in the union of disjoint equational theories: Combining decision procedures. In Proceedings of the 11th ...
Frontiers of Combining Systems: Third International Workshop, FroCoS...
books.google.de
Why Combined Decision Problems Are Often Intractable⋆ Klaus U. Schulz CIS, University of Munich , D München, Germany ...
Free delivery worldwide on all books from Book Depository
www.bookdepository.com
Book Depository is the world's most international online bookstore offering over 20 million books with free delivery worldwide.
Logics for Linguistic Structures - Google Books
books.google.de
The contributions collected in this voume address central topics in theoretical and com…tional linguistics, such as quantification, types of context...
Berufe im Informationswesen: Ein Wegweiser zur Ausbildung - Wilhelm...
books.google.de
Dr. Klaus U. Schulz, Anschrift wie Ausbildungsstätte, Sprechstunde Di 16–17 Uhr Telefon: (089) Telefax: (089) e-mail: ...
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H....
books.google.de
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book...
Principles and Practice of Semantic Web Reasoning: International...
books.google.de
Systematics and Architecture for a Resource Representing Knowledge about Named Entities Klaus U. Schulz and Felix Weigel CIS, University of Munich ...
Personenregister ( Verfasser und Biographien): S - Z - Gert...
books.google.de
Gert Hagelweide hat mit seinem zwanzigbändigen Werk immense Arbeit geleistet und alle presserelevanten Publikationen und unselbstständigen Veröffentlichungen...
Rewriting Techniques and Applications: 12th International Conference,...
books.google.de
J. of the ACM, 20(2):333–364, Klaus U. Schulz. Makanin's algorithm, two improvements and a generalization. Technical Report CIS-Bericht , ...
Foundations of Computer Science: Potential-Theory-Cognition -...
books.google.de
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume...
STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer...
books.google.de
This book constitutes the refereed proceedings of the 16th Annual Symposium on Theoretical Aspects of Computer Science, STACS 99, held in Trier, Germany in...
Word Equations and Related Topics: 1st International Workshop, IWWERT...
books.google.de
This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October...
The Logic of Theory Change: Workshop, Konstanz, FRG, October ,...
books.google.de
The logic of theory change, or the theory of belief revision, is a growing area of research in artificial intelligence. The papers in this volume, mostly...
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und
books.google.de
In: Baader, Franz und Klaus U. Schulz (Hrsg.): Frontiers of Combining Systems, Band 3 der Reihe Applied Logic Series, Seiten Kluwer Academic ...
Combination Techniques and Decision Problems for Disunification -...
books.google.de
Franz Baader, Klaus U. Schulz. CIS, pages. 0 Reviewshttps://books. google.com/books/about/Combination_Techniques_and_Decision_Prob.html?id = ...
Makanin's Algorithm: Two Improvements and a Generalization - Klaus U....
books.google.de
Front Cover. Klaus U. Schulz. CIS, pages. 0 Reviewshttps://books. google.com/books/about/Makanin_s_Algorithm.html?id=fMJvGwAACAAJ ...
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland,...
books.google.de
This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94...
Verwandte Suchanfragen zu Klaus U. Schulz
Clara Zetkin Klaus-Peter Schulz Klaus-Dieter Schulz |
Person "Schulz" (221) Vorname "Klaus" (65148) Name "Schulz" (10431) |
sortiert nach Relevanz / Datum