122 Ergebnisse für: logics
-
Theorem.co.de - Ihr Theorem Shop
http://www.theorem.co.de
Theorem Proving in Higher Order Logics als eBook Download von, Fermat´s Last Theorem, The Zero Theorem, Gödel´s Theorem, Using the Borsuk-Ulam Theorem,
-
Johannes Wollbold - Homepage
http://www.jwollbold.de/
Studies in theology, philosophy and mathematics, pedagocical experiences. Working in algebra, formal concept analysis, logics and systems biology (modelling of gene regulatory processes). Also interests in quantum theory, music (Bach, Webern, African…
-
Reasoning in description logics using resolution and deductive databases
http://digbib.ubka.uni-karlsruhe.de/volltexte/1000003797
Keine Beschreibung vorhanden.
-
Medienwissenschaft.co.de - Ihr Medienwissenschaft Shop
http://www.medienwissenschaft.co.de
Desegregation and the Rhetorical Fight for African American Citizenship Rights als Buch von Sally F Paulson, Grenze filmen als Buch von Brigitta Kuster, Media Transatlantic: Developments in Media and Communication Studies between North American and…
-
3apl aop - Google-Suche
http://books.google.de/books?um=1&q=3apl+aop&btnG=Nach+B%C3%BCchern+suchen
Keine Beschreibung vorhanden.
-
Negation.co.de - Ihr Negation Shop
http://www.negation.co.de
Constructive Negations and Paraconsistency als Buch von Sergei Odintsov, Paraconsistent Logic: Consistency, Contradiction and Negation, The History of Negation in the Languages of Europe and the Mediterranean als eBook Download von, Formen und…
-
Automata, Formal Languages and Algebraic Systems: Proceedings of AFLAS 2008 ... - Masami Ito, Yuji Kobayashi, Kunitaka Shoji - Google Books
https://books.google.de/books?id=xuaR2bJq0rcC&pg=PA182#v=onepage
This volume consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. It…
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …
-
Philosophy of Logic - Google Books
http://books.google.de/books?id=1xEVkzuX5e0C&pg=PA684&dq=%22product+logic%22&lr=&ei=qIAYS6m7MqD2ygSj29jRDg&client=firefox-a#v=on
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the…
-
Finite.co.de - Ihr Finite Shop
http://www.finite.co.de
Un Monde Qui Finit als Buch von, Finite-Elemente-Methode, Large Finite Systems als Buch von, Finite Model Theory, Theory and Practice of Finite Elements,