Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

€54,56
€54,56 €56,25 Väljamüük

Meil on laos

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
Autorius Michal Zawidzki
Kalba Anglų k.
Leidimo metai 2015 aasta
Puslapių skč. 232 leheküljed
Viršelis Pehme kaanega
ISBN 9788323336952
Kategorijos Loogika

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