Logic for Computer Scientists

EISBN:9780817647636
PISBN:9780817647629
出版社:Birkhäuser Boston
出版类型:Graduate/advanced undergraduate textbook
出版时间:2008
作者:Uwe Schöning
主题词:Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logic: Reference Book for Computer Scientists

  • 作者:Lech T. Polkowski
  • EISBN:9783031420344
  • 出版社:Springer Nature
  • 出版时间:2023

Applied Logic for Computer Scientists

  • 作者:Mauricio Ayala-Rincón,Flávio L. C. de Moura
  • EISBN:9783319516530
  • 出版社:Springer International Publishing
  • 出版时间:2017

Computer Logic

  • 作者:John Y. Hsu
  • EISBN:9781461300472
  • 出版社:Springer New York
  • 出版时间:2002

Computer Logic

  • 作者:John Y. Hsu
  • EISBN:9781461300472
  • 出版社:Springer New York
  • 出版时间:2002

Mathematics for Computer Scientists

  • 作者:Peter Hartmann
  • EISBN:9783658404239
  • 出版社:Springer Nature
  • 出版时间:2023

Analysis for Computer Scientists

  • 作者:Michael Oberguggenberger,Alexander Ostermann
  • EISBN:9783319911557
  • 出版社:Springer International Publishing
  • 出版时间:2018