Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

€54,56
€54,56 €56,25 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Michal Zawidzki
Leidimo metai 2015 year
Puslapių skč. 232 pages
Viršelis Soft cover
ISBN 9788323336952
Kategorijos Logic

Deductive Systems and the Decidability Problem for Hybrid Logics

Deductive Systems and the Decidability Problem for Hybrid Logics by Michal Zawidzki.

Published by Columbia University Press, (2014), 232 pages.

Topics: Logic, symbolic and mathematical, Deductive databases.

Deductive Systems and the Decidability Problem for Hybrid Logics

Deductive Systems and the Decidabilit...

€54,56
€54,56 €56,25