MiG

HOL based Universal Reasoing

C. Benzmüller— 2013

TitelHOL based Universal Reasoing
VerfasserC. Benzmüller
VerlagHandbook of the 4th World Congress and School on Universal Logic (UNILOG 2013), Rio de Janeiro, Brazil.
Datum2013
KennungISBN 978-85-400-0682-9
Quelle/n
Spracheeng
ArtText