Fachbereich Mathematik und Informatik/Informatik/

Dahlem Center for Machine Learning and Robotics

HOL based Universal Reasoing

C. Benzmüller – 2013

Titel

HOL based Universal Reasoing

Verfasser

C. Benzmüller

Verlag

Handbook of the 4th World Congress and School on Universal Logic (UNILOG 2013), Rio de Janeiro, Brazil.

Datum

2013

Kennung

ISBN 978-85-400-0682-9

Quelle/n

pdf-Datei

Sprache

eng

Art

Text