On the operational semantice [i.e. semantics] of Guarded Horn Clauses (preliminary draft) (ICOT technical report)

Name: On the operational semantice [i.e. semantics] of Guarded Horn Clauses (preliminary draft) (ICOT technical report)
Author: Kazunori Ueda
ISBN: 978B0007BGE25

Author Kazunori Ueda

Publisher Institute for New Generation Computer Technology

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

Price not listed

🛒 Buy New on Amazon 🇺🇸

Book Details

Author(s)Kazunori Ueda

PublisherInstitute for New Generation Computer Technology

ISBN / ASINB0007BGE2A

ISBN-13978B0007BGE25

Sales Rank99,999,999

MarketplaceUnited States 🇺🇸