Model and Proof Theory of Constructive ALC
9%
off

Model and Proof Theory of Constructive ALC : Constructive Description Logics

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?

Product details

  • Paperback
  • 172 x 241 x 22mm | 598g
  • Otto-Friedrich-Uni
  • English
  • graph. Darst.
  • 3863093208
  • 9783863093204