Rewriting Logic and Its Applications

EISBN:9783031659416
PISBN:9783031659409
出版社:Springer Nature
出版时间:2024
作者:Kazuhiro Ogata,Narciso Martí-Oliet
主题词:BISAC Category: Computers,Software Development & Engineering,General,Computers,Computer Science,Computers,Hardware,General,Mathematics,Discrete Mathematics
学科:TP31 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP31 计算机软件 )
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Rewriting Logic and Its Applications

  • 作者:Peter Csaba Ölveczky
  • EISBN:9783642163104
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2010

Rewriting Logic and Its Applications

  • 作者:Santiago Escobar,Narciso Martí-Oliet
  • EISBN:9783030635954
  • 出版社:Springer International Publishing
  • 出版时间:2020

Rewriting Logic and Its Applications

  • 作者:Franciso Durán
  • EISBN:9783642340055
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2012

Rewriting Logic and Its Applications

  • 作者:Dorel Lucanu
  • EISBN:9783319448022
  • 出版社:Springer International Publishing
  • 出版时间:2016

Rewriting Logic and Its Applications

  • 作者:Santiago Escobar
  • EISBN:9783319129044
  • 出版社:Springer International Publishing
  • 出版时间:2014

Rewriting Logic and Its Applications

  • 作者:Kyungmin Bae
  • EISBN:9783031124419
  • 出版社:Springer Nature
  • 出版时间:2022