Logics in Computer Science

EISBN:9789491216954
PISBN:9789491216947
出版社:Atlantis Press
出版类型:Monograph
出版时间:2013
作者:Fabio Mogavero
主题词:Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Logics for Computer Science

  • 作者:Anita Wasilewska
  • EISBN:9783319925912
  • 出版社:Springer International Publishing
  • 出版时间:2018

Computer Science

  • 作者:Ricardo Baeza-Yates,Udi Manber
  • EISBN:9781461534228
  • 出版社:Springer US
  • 出版时间:1992

Computer Science

  • 作者:Edward K. Blum,Alfred V. Aho
  • EISBN:9781461411680
  • 出版社:Springer New York
  • 出版时间:2011

Computer Science

  • 作者:Sinclair,Ian
  • PISBN:9780750602525
  • 出版时间:Legacy

Logics for Computer and Data Sciences, and Artificial Intelligence

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

Computer Science and Education in Computer Science

  • 作者:Tanya Zlateva,Georgi Tuparov
  • EISBN:9783031446689
  • 出版社:Springer Nature
  • 出版时间:2023