An Introduction to Description Logic
9780521873611 Innbundet
20.04.2017
Engelsk
Produseres på bestilling
Produseres på bestilling
Leveringstid: 2-4 uker
Handlinger
Beskrivelse
Omtale
This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally and as ML programs. Many examples and over 170 exercises are provided.
Detaljer
-
Utgivelsesdato:
05.08.1999
-
ISBN:
9780521779203
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Litteraturtype:
-
Sider:
316
-
Høyde:
24.4 cm
-
Bredde:
17 cm
Andre bøker av eller med forfatteren
The Description Logic Handbook : Theory, Implementation and Applications
9780521150118 Heftet
20.05.2010
Engelsk
Produseres på bestilling
