Handbook of logic in computer science.Volume 5,Logic and algebraic methods

• 其他作者: Abramsky, Samson, , Gabbay, Dov M., , Maibaum, Thomas S. E.,
• 出版: Oxford :New York : Clarendon Press ;Oxford University Press 2000.
• 稽核項: 1 online resource.
• 叢書名: Oxford science publications.
• 標題: Ciencia da computacao ou informatica. , COMPUTERS , COMPUTERS Reference. , Computer Science. , Logica e semantica de programacao. , Informatique. , Electronic Data Processing , COMPUTERS Machine Theory. , Reference. , HardwareGeneral. , Data Processing. , Programming. , Computer Literacy. , Logic, Symbolic and mathematical. , COMPUTERS Computer Science. , Electronic books. , COMPUTERS Hardware -- General. , COMPUTERS Computer Literacy. , Information Technology. , COMPUTERS Information Technology. , Machine Theory. , Computer science. , COMPUTERS Data Processing. , Logique symbolique et mathématique.
• ISBN: 1280375272 , 9781280375279
• ISBN: 0198537352 , 9780198537359 , 0198537611 , 9780198537618 , 019853762X , 9780198537625 , 0198537808 , 9780198537809 , 0198537816 , 9780198537816
• 試查全文@TNUA:
  
• 附註: Includes bibliographical references and indexes.
• 摘要: This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.
• 電子資源: https://dbs.tnua.edu.tw/login?url=https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424
• 系統號: 005305871
• 資料類型: 電子書
• 讀者標籤: 需登入
• 引用網址: 複製連結
• 目前引用數