Logical Foundations of Computer Science

EISBN:9783030931001
PISBN:9783030930998
出版社:Springer Nature
出版时间:2022
作者:Sergei Artemov;Anil Nerode
主题词:Computer Science
学科:T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783319720562
  • 出版社:Springer International Publishing
  • 出版时间:2018

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783540926870
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783030367558
  • 出版社:Springer International Publishing
  • 出版时间:2020

Logical Foundations of Computer Science

  • 作者:Sergei Adian,Anil Nerode
  • EISBN:9783540690658
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logical Foundations of Computer Science

  • 作者:Sergei N. Artemov,Anil Nerode
  • EISBN:9783540727347
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Logical Foundations of Computer Science

  • 作者:Sergei Artemov,Anil Nerode
  • EISBN:9783642357220
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013