Languages
Abramsky, Samson, (1953-)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Handbook of logic in computer science /
by:
Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-)
(Language materials, printed)
Samson Abramsky on logic and structure in computer science and beyond
by:
Palmigiano, Alessandra.; Sadrzadeh, Mehrnoosh.; SpringerLink (Online service)
(Electronic resources)
Handbook of logic in computer science.. Volume 5,. Logic and algebraic methods
by:
Abramsky, Samson, (1953-); Gabbay, Dov M., (1945-); Maibaum, Thomas S. E., (1947-); NetLibrary, Inc.
(Language materials, printed)
Subjects
Logic.
Logic, Symbolic and mathematical.
Informatique.
Abramsky, Samson,
Computer architecture.
Mathematics.
Logique symbolique et math歋matique.
Linguistics.
Logica e semantica de programacao.
Philosophical Logic.
Computer science.
Ciencia da computacao ou informatica.
Computer Science.
Mathematical Logic in Philosophy.