Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

€54,56
€54,56 €56,25 Izpārdošana

Mums ir noliktavā

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Autorius Michal Zawidzki
Leidimo metai 2015 gads
Puslapių skč. 232 lapas
Viršelis Mīkstais vāks
ISBN 9788323336952
Kategorijos Loģika

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