Logical Foundations of Computer Science

EISBN:9783030367558
PISBN:9783030367541
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2020
版次:1st ed. 2020
作者:Sergei Artemov,Anil Nerode
主题词:Mathematics,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
所属数据库: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:9783030931001
  • 出版社:Springer Nature
  • 出版时间:2022

Logical Foundations of Computer Science

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

Logical Foundations of Computer Science

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

Logical Foundations of Computer Science

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