Gå direkt till innehållet
Logics for Computer Science
Spara

Logics for Computer Science

Författare:
inbunden, 2018
Engelska
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Undertitel
Classical and Non-Classical
Författare
Anita Wasilewska
Upplaga
2018 ed.
ISBN
9783319925905
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
13.11.2018
Sidor
535