Medarbejdervisning: Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods

Summary goes here

Saved in:

Bibliografiske detaljer
Format:	Bog
Sprog:	engelsk
Fag:	Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

era
format	Book
genre
geographic
id	bfbe7539-995f-4cce-b8f6-7ccfa43edc1d
isbn	9780191546273 (electronic bk.) 0191546275 (electronic bk.)
issn
language	eng
physical	1 online resource.
publication	– publisher: Clarendon Press dateOfPublication: 2000
publishDate	2000
subjects
title	Handbook of logic in computer science. edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. [electronic resource] / Volume 5, Logic and algebraic methods
topic	Computer science. Logic, Symbolic and mathematical. Informatique. Logique symbolique et mathématique. Ciencia da computacao ou informatica. Logica e semantica de programacao. Programming. Electronic books.