Logics and Falsifications

EISBN:9783319052069
PISBN:9783319052052
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2014
作者:Andreas Kapsner
主题词:Logic,Language Translation and Linguistics,Philosophy of Language
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Trends in Logic
相关推荐

Logics in AI

  • 作者:David Pearce,Gerd Wagner
  • EISBN:9783540473046
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992

Logics of Programs

  • 作者:D. Kozen
  • EISBN:9783540390473
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1982

Nonmonotonic Logics

  • 作者:Karl Schlechta
  • EISBN:9783540497363
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1997

Logics of Programs

  • 作者:E. Clarke,D. Kozen
  • EISBN:9783540387756
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1984

Probability Logics

  • 作者:Zoran Ognjanović,Miodrag Rašković,Zoran Marković
  • EISBN:9783319470122
  • 出版社:Springer International Publishing
  • 出版时间:2016

Programming Logics

  • 作者:Andrei Voronkov,Christoph Weidenbach
  • EISBN:9783642376511
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2013