Probability Logics

EISBN:9783319470122
PISBN:9783319470115
出版社:Springer International Publishing
出版类型:Monograph
出版时间:2016
版次:1st ed. 2016
作者:Zoran Ognjanović,Miodrag Rašković,Zoran Marković
主题词:Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logic,Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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

Protoalgebraic Logics

  • 作者:Janusz Czelakowski
  • EISBN:9789401728072
  • 出版社:Springer Netherlands
  • 出版时间:2001

Logics of Programs

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

Metainferential Logics

  • 作者:Federico Pailos,Bruno Da Ré
  • EISBN:9783031443817
  • 出版社:Springer Nature
  • 出版时间:2023