Die Autorinnen und Autoren präsentieren in diesem Buch Argumente, die die Unmöglichkeit des Reduk...
This book constitutes the refereed proceedings of the 42nd German Conference on Artificial Intell...
This book constitutes the proceedings of theInternational Joint Conference on Rules and Reasoni...
This book constitutes the refereed proceedings of the 13th International Conference on Intelligen...
This book constitutes the refereed proceedings of the 4th International Conference on Logic and A...
Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the pr...
This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Join...
Kurt Gödel was not just a brilliant logician but contributed also important results to the genera...