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
Sprache
eng
Art
Text