Analysis and Synthesis of Logics

EISBN:9781402067822
PISBN:9781402067815
出版社:Springer Netherlands
出版类型:Monograph
出版时间:2008
作者:Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas
主题词:Mathematical Logic and Foundations,Logic,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Applied Logic Series
相关推荐

Systems Analysis and Synthesis

  • 作者:Dwyer,Barry
  • PISBN:9780128053041
  • 出版时间:2016

The Peptides Analysis Synthesis Biology

  • 作者:Gross,Erhard
  • PISBN:9780123042040
  • 出版时间:Legacy

Analysis and Synthesis of MOS Translinear Circuits

  • 作者:Remco J. Wiegerink
  • EISBN:9781461532149
  • 出版社:Springer US
  • 出版时间:1993

Basic Matrix Analysis and Synthesis

  • 作者:Zelinger,G.
  • PISBN:9781483199061
  • 出版时间:Legacy

Hadamard Matrix Analysis and Synthesis

  • 作者:R. K. Rao Yarlagadda,John E. Hershey
  • EISBN:9781461563136
  • 出版社:Springer US
  • 出版时间:1997

Analysis and Synthesis of Networked Control Systems

  • 作者:Yuanqing Xia,Mengyin Fu,Guo-Ping Liu
  • EISBN:9783642179259
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011