Yazar
Luca Vigano
8 cilt bulundu.
Cilt sonuçları
Labelled non-classical logics
Luca Viganò, Luca Viganò, Luca Vigano · Springer
300 sayfa · 2000
Nonclassical mathematical logic / Computer Programming / Mathematical logic / Mathematical theory of computation / Mathematical And Symbolic Logic
Labelled Non-Classical Logics
Luca Viganò · Springer US
291 sayfa · 2000
Philosophy (General) / Symbolic and mathematical Logic / Computer science / Logic / Logic, symbolic and mathematical
Principles of Security and Trust
Frank Piessens, Luca Viganò · Springer
287 sayfa · 2016
Computer security / Computer networks, security measures / Data encryption (computer science)
Labelled Deduction (APPLIED LOGIC SERIES Volume 17)
Sean Matthews (Editor), Luca Vigano (Editor) · Springer
280 sayfa · 2000
Mathematical And Symbolic Logic / Philosophy Of Mathematics / Philosophy / Mathematics / Artificial Intelligence - General