咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Extensions of first order logi... 收藏
Extensions of first order logic

Extensions of first order logic

丛 书 名:Cambridge Tracts in Theoretical Computer Science Series no. 19

作     者:Manzano M. 

I S B N:(纸本) 9780521354356;0521354358 

出 版 社:Cambridge University Press 

出 版 年:1996年

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分