Deductive Systems and the Decidability Problem for Hybrid Logics

Michal Zawidzki

€55,56
€55,56 €57,75 Išpardavimas

Turime sandėlyje

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Autorius Michal Zawidzki
Kalba Anglų k.
Leidimo metai 2015 m.
Puslapių skč. 232 psl.
Viršelis Minkštas viršelis
ISBN 9788323336952
Kategorijos Logika

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...

€55,56
€55,56 €57,75