11 Infos zu Jorg Siekmann

1 Aktuelle Nachrichten

8 Bücher zum Namen

This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and Management, KSEM 2007, held in...

This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book...

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for...

3 Webfunde aus dem Netz

Jörg Siekmann Wikidata. Siekmann, Jörg, National Library of the Czech Republic. Siekmann, Jorg National and University Library in Zagreb. VIAF ID: ...

Jörg Siekmann, German Computer science educator.

Reasoning in simple type theory – Festschrift in honor of Peter B. Andrews on his 70th birthday, edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann,...